*{ font-family: sans-serif } body{ font-size: 12pt; padding: 10px; } body, h1, h2, h3, h4 { margin: 0px; } #content, #content table{ font-size: 12pt; } #header{ /* position: sticky; top: 0; */ font-family: Courier New; font-weight: bold; font-size: 120%; text-align: right; padding-top: 10px; padding-bottom: 10px; } .border { margin: 15px; width: 160px; padding: 5px; } .border a { text-decoration: none; display: block; padding-left: 15px; font-size: 105%; margin-bottom: 5px; } .border div div { padding-top: 0; padding-left: 15px; margin-bottom: 5px; } .border div div a, .border div h2 a { display: inline; text-decoration: none; padding-left: 0; margin-bottom: 0; } .border div{ position: relative; padding: 5px; padding-top: 15px; margin-bottom: 30px; } .border div h2{ position:absolute; font-size: 105%; top:-15px; left: 5px; padding: 1px; } #content { text-align: justify; margin-left: 200px; margin-right: 200px; padding: 15px; padding-top: 0px; } #content div { padding: 5px; margin-bottom: 15px; clear: both; } #content h1{ font-size: 200%; text-align: center; margin-bottom: 30px; } #content h2{ font-size: 140%; text-align: left; margin-top: 20px; margin-bottom: 20px; } #content h3{ font-size: 110%; } #content h4{ font-size: 90%; } #content table { margin: 10px; border-collapse:collapse; } #content img{ margin: 10px; } table.desc th{ text-align: left; } table.desc th, table.desc td { padding: 10px; } img{ border: 0px; } .toc a{ display: block } .media { text-align: center } *{ color: #444; } #menu-burger { display: none; } #menu { float: left; position:fixed; } @media only screen and (max-width: 600px) { #menu-burger { position: fixed; display: block; } #menu { top: -3px; display: none; float: none; background-color: white; box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.5); } #menu-state:checked ~ #menu { display: block; padding: 15px 0; transition: all 0.5s; } #content { margin-left: 0; margin-right: 0; } .border div{ margin-bottom: 20px; } .border div:last-child{ margin-bottom: 0px; } }