| @charset "utf-8"; |
| @import "util"; |
| |
| /** |
| * Media rules for different screen sizes. |
| * This will override some basic rules. |
| */ |
| |
| $standard-margin: 4px; |
| |
| // (orientation: portrait), |
| @media all and (max-width: 42.5em) { |
| body, |
| #search ol, |
| header, |
| header input, |
| div#resultinfo, |
| #pagination > a { |
| font-size: 9pt; |
| } |
| |
| header form { |
| padding-left: 0; |
| padding-top: 33px; |
| } |
| |
| .vc { |
| font-size: 9pt; |
| } |
| |
| h1 { |
| margin-left: 10px; |
| width: 130px; |
| height: 40px; |
| background: { |
| size: 100%; |
| position: 50% 0; |
| } |
| z-index: 300; |
| } |
| |
| #searchbar { |
| padding-right: 30px; |
| input { |
| font-size: 9pt; |
| } |
| button[type=submit] { |
| right: 0; |
| } |
| } |
| |
| .level-1 { |
| padding-bottom: 2px; |
| } |
| |
| .level-2 { |
| padding-bottom: 4px; |
| } |
| |
| main { |
| margin-left: $standard-margin; |
| margin-right: $standard-margin; |
| } |
| |
| header .button { |
| margin-right: $standard-margin; |
| &.top { |
| height: auto; |
| } |
| } |
| |
| #search ol { |
| > li:target, > li.active { |
| > div > div.snippet { |
| margin: 2px 2em 2px 4px; |
| } |
| } |
| > li div.meta { |
| display: none; |
| } |
| > li:not(:target):not(.active) { |
| padding: 3pt 0 3pt 0; |
| } |
| } |
| |
| div.matchinfo { |
| font-size: 9pt; |
| } |
| |
| div.matchtable tr > * { |
| padding: 1pt 3pt; |
| } |
| |
| div.matchtree { |
| h6 { |
| display: block; |
| float: none; |
| } |
| > div { |
| margin-left: 2px; |
| } |
| } |
| |
| #logos { |
| margin-left: 0; |
| margin-right: 0; |
| |
| > div { |
| border-top-width: 14px; |
| } |
| } |
| |
| div.intro { |
| width: 100%; |
| } |
| |
| aside { |
| &:not(:focus):not(.active) { |
| margin-left: -1 * $logo-left-distance; |
| &::after { |
| font-size: 12pt; |
| width: 10pt; |
| height: 11pt; |
| } |
| } |
| ul { |
| font-size: 9pt; |
| line-height: 1em; |
| } |
| &.active + main div.intro { |
| margin-left: $standard-margin !important; |
| } |
| |
| &.active { |
| position: relative; |
| display: block; |
| padding-top: 0; |
| width: 100%; |
| top: 0; |
| border-width: 0; |
| fieldset input { |
| font-size: 9pt; |
| } |
| &::after { |
| display: none; |
| } |
| p { |
| display: none; |
| } |
| } |
| } |
| |
| #tutorial { |
| border-radius: 0; |
| border-width: 0; |
| right: 0; |
| left: 0; |
| bottom: 0; |
| top: 0; |
| padding: 0; |
| iframe { |
| border-radius: 0; |
| } |
| } |
| |
| main.tutorial { |
| margin-right: 30px; |
| } |
| } |