blob: ecddbb97afabe0315d22c0326cdb8081d85aac36 [file] [log] [blame]
Nils Diewald7cad8402014-07-08 17:06:56 +00001@media (orientation: portrait), (max-width: 42.5em) {
Nils Diewald4e9fbcb2014-07-15 11:45:09 +00002 body {
3 font-size: 10pt;
4 }
Nils Diewald7cad8402014-07-08 17:06:56 +00005 #sidebar {
6 margin-left: -230px;
7 }
8 h1 {
9 margin-left: 3px;
Nils Diewald4e9fbcb2014-07-15 11:45:09 +000010/*
Nils Diewald7cad8402014-07-08 17:06:56 +000011 width: 4em;
12 height: 1.8em;
Nils Diewald4e9fbcb2014-07-15 11:45:09 +000013*/
14 width: 80px;
15 height: 40px;
Nils Diewaldb01cd952015-03-04 21:26:32 +000016 background-size: 100%;
Nils Diewald7cad8402014-07-08 17:06:56 +000017 z-index: 300;
18 }
19 main {
20 margin-left: 14px;
21 }
22 #top form {
23 padding-left: 0px;
Nils Diewald4e9fbcb2014-07-15 11:45:09 +000024/*
Nils Diewald7cad8402014-07-08 17:06:56 +000025 padding-top: 2.9em;
Nils Diewald4e9fbcb2014-07-15 11:45:09 +000026*/
27 padding-top: 33px;
Nils Diewald7cad8402014-07-08 17:06:56 +000028 }
29 #sidebar {
30 padding-top: 22px;
31 }
32 #tutorial {
33 border-radius: 0;
34 border-width: 0;
35 right: 0;
36 left: 0;
37 bottom: 0;
38 top: 0;
39 padding: 0;
40 }
41 #tutorial iframe {
42 border-radius: 0;
43 }
Nils Diewald4e9fbcb2014-07-15 11:45:09 +000044 #sidebar:not(.active) > i.fa-bars {
45 font-size: 12pt;
46 width: 10pt;
47 height: 11pt;
48 }
49 #searchbar, #searchbar input {
50 font-size: 9pt;
51 }
52 ol {
53 font-size: 9pt;
54 }
55 ol > li:target > div > div.snippet,
56 ol > li.active > div > div.snippet {
57 margin: 2px 3em 2px 4px;
58 }
59 pre.query {
60 font-size: 9.5pt;
61 }
Nils Diewald7cad8402014-07-08 17:06:56 +000062}