@media print {
    #in-sandbox-banner, 
    nav, 
    #tutorials-menu-icon, 
    footer, 
    #cookie-consent-banner {
        display: none;
    }

    body {
        font-family: 'Times New Roman', Times, serif;
        font-size: 12pt;
        color: #000;
    }
}