| @media (orientation: portrait), (max-width: 42.5em) { |
| body { |
| font-size: 10pt; |
| } |
| #sidebar { |
| margin-left: -230px; |
| } |
| h1 { |
| margin-left: 3px; |
| /* |
| width: 4em; |
| height: 1.8em; |
| */ |
| width: 80px; |
| height: 40px; |
| background-size: 90%; |
| z-index: 300; |
| } |
| main { |
| margin-left: 14px; |
| } |
| #top form { |
| padding-left: 0px; |
| /* |
| padding-top: 2.9em; |
| */ |
| padding-top: 33px; |
| } |
| #sidebar { |
| padding-top: 22px; |
| } |
| #tutorial { |
| border-radius: 0; |
| border-width: 0; |
| right: 0; |
| left: 0; |
| bottom: 0; |
| top: 0; |
| padding: 0; |
| } |
| #tutorial iframe { |
| border-radius: 0; |
| } |
| #sidebar:not(.active) > i.fa-bars { |
| font-size: 12pt; |
| width: 10pt; |
| height: 11pt; |
| } |
| #searchbar, #searchbar input { |
| font-size: 9pt; |
| } |
| ol { |
| font-size: 9pt; |
| } |
| ol > li:target > div > div.snippet, |
| ol > li.active > div > div.snippet { |
| margin: 2px 3em 2px 4px; |
| } |
| pre.query { |
| font-size: 9.5pt; |
| } |
| } |