blob: cef3fedf0316dd744f93b044c84ed1c2c18c0774 [file] [log] [blame]
Nils Diewald58141332015-04-07 16:18:45 +00001@charset "utf-8";
2@import "util";
3
4$standard-margin: 4px;
5
6@media (orientation: portrait), (max-width: 42.5em) {
7 body, #search ol, header, header input {
8 font-size: 9pt;
9 }
10 header form {
11 padding-left: 0px;
12 padding-top: 33px;
13 }
14 .vc {
15 font-size: 9pt;
16 }
17 h1 {
18 margin-left: 10px;
19 width: 130px;
20 height: 40px;
21 background-size: 100%;
22 background-position: 50% 0;
23 z-index: 300;
24 }
25
26 #searchbar {
27 padding-right: 30px;
28 input {
29 font-size: 9pt;
30 }
31 button[type=submit] {
32 right: 0;
33 }
34 }
35
36 .level-1 {
37 padding-bottom: 2px;
38 }
39
40 .level-2 {
41 padding-bottom: 4px;
42 }
43
44 main {
45 margin-left: $standard-margin;
46 margin-right: $standard-margin;
47 }
48
49 #search ol {
50 > li:target, > li.active {
51 > div > div.snippet {
52 margin: 2px 2em 2px 4px;
53 }
54 }
55 > li:not(:target):not(.active) {
56 padding: 3pt 0 3pt 0;
57 }
58 }
59
60 div.matchinfo {
61 font-size: 9pt;
62 }
63
64 div.matchtable tr > * {
65 padding: 1pt 3pt;
66 }
67
68 div.matchtree {
69 h6 {
70 display: block;
71 float: none;
72 }
73 > div {
74 margin-left: 2px;
75 }
76 }
77
78 div.resultinfo p.found,
79 #pagination > a {
80 font-size: 9pt;
81 }
82
83 #logos {
84 margin-left: 0;
85 margin-right: 0;
86
87 > div {
88 border-top-width: 14px;
89 }
90 }
91
92/*
93
94 #sidebar {
95 padding-top: 22px;
96 }
97 #tutorial {
98 border-radius: 0;
99 border-width: 0;
100 right: 0;
101 left: 0;
102 bottom: 0;
103 top: 0;
104 padding: 0;
105 }
106 #tutorial iframe {
107 border-radius: 0;
108 }
109 #sidebar:not(.active) > i.fa-bars {
110 font-size: 12pt;
111 width: 10pt;
112 height: 11pt;
113 }
114 pre.query {
115 font-size: 9.5pt;
116 }
117*/
118}