blob: 1ebf7690655796c472779cfdb69b8d91992a6982 [file] [log] [blame]
Nils Diewalda944fab2015-04-08 21:02:04 +00001@charset "utf-8";
2@import "util";
3
Nils Diewald652e5f42015-05-10 18:11:45 +00004/**
5 * Media rules for different screen sizes.
6 * This will override some basic rules.
7 */
8
Nils Diewalda944fab2015-04-08 21:02:04 +00009$standard-margin: 4px;
10
Akron05238fb2017-06-02 14:29:03 +020011// (orientation: portrait),
12@media all and (max-width: 42.5em) {
Nils Diewald652e5f42015-05-10 18:11:45 +000013 body,
14 #search ol,
15 header,
16 header input,
Akron179c8ac2015-06-30 19:30:50 +020017 div#resultinfo,
Nils Diewald652e5f42015-05-10 18:11:45 +000018 #pagination > a {
Nils Diewalda944fab2015-04-08 21:02:04 +000019 font-size: 9pt;
20 }
Nils Diewald652e5f42015-05-10 18:11:45 +000021
Nils Diewalda944fab2015-04-08 21:02:04 +000022 header form {
Nils Diewald652e5f42015-05-10 18:11:45 +000023 padding-left: 0;
Nils Diewalda944fab2015-04-08 21:02:04 +000024 padding-top: 33px;
25 }
Nils Diewald652e5f42015-05-10 18:11:45 +000026
Nils Diewalda944fab2015-04-08 21:02:04 +000027 .vc {
28 font-size: 9pt;
29 }
Nils Diewald652e5f42015-05-10 18:11:45 +000030
Nils Diewalda944fab2015-04-08 21:02:04 +000031 h1 {
32 margin-left: 10px;
33 width: 130px;
34 height: 40px;
Nils Diewald652e5f42015-05-10 18:11:45 +000035 background: {
36 size: 100%;
37 position: 50% 0;
38 }
Nils Diewalda944fab2015-04-08 21:02:04 +000039 z-index: 300;
40 }
41
42 #searchbar {
43 padding-right: 30px;
44 input {
45 font-size: 9pt;
46 }
47 button[type=submit] {
48 right: 0;
49 }
50 }
51
52 .level-1 {
53 padding-bottom: 2px;
54 }
55
56 .level-2 {
57 padding-bottom: 4px;
58 }
59
60 main {
61 margin-left: $standard-margin;
62 margin-right: $standard-margin;
63 }
64
Akronb917a7c2015-07-02 11:02:42 +020065 header .button {
Akron67b51812017-05-01 14:10:55 +020066 margin-right: $standard-margin;
67 &.top {
68 height: auto;
69 }
Akronb917a7c2015-07-02 11:02:42 +020070 }
71
Nils Diewalda944fab2015-04-08 21:02:04 +000072 #search ol {
73 > li:target, > li.active {
74 > div > div.snippet {
Akron67b51812017-05-01 14:10:55 +020075 margin: 2px 2em 2px 4px;
Nils Diewalda944fab2015-04-08 21:02:04 +000076 }
77 }
Akron67b51812017-05-01 14:10:55 +020078 > li div.meta {
79 display: none;
80 }
Nils Diewalda944fab2015-04-08 21:02:04 +000081 > li:not(:target):not(.active) {
82 padding: 3pt 0 3pt 0;
83 }
84 }
85
86 div.matchinfo {
87 font-size: 9pt;
88 }
89
90 div.matchtable tr > * {
91 padding: 1pt 3pt;
92 }
93
Akron8b592d42018-01-26 18:33:06 +010094 div.matchtree { //, div.metatable {
Nils Diewalda944fab2015-04-08 21:02:04 +000095 h6 {
96 display: block;
97 float: none;
98 }
Akron8b592d42018-01-26 18:33:06 +010099 > div { // , > dl {
Nils Diewalda944fab2015-04-08 21:02:04 +0000100 margin-left: 2px;
101 }
102 }
103
Nils Diewalda944fab2015-04-08 21:02:04 +0000104 #logos {
105 margin-left: 0;
106 margin-right: 0;
107
108 > div {
109 border-top-width: 14px;
110 }
111 }
112
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000113 div.intro {
114 width: 100%;
Nils Diewalda944fab2015-04-08 21:02:04 +0000115 }
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000116
Akron1120a582017-10-17 12:29:16 +0200117 body.embedded aside > div {
118 top: 0;
119 transform: translateY(0);
120 }
121
Nils Diewald7148c6f2015-05-04 15:07:53 +0000122 aside {
123 &:not(:focus):not(.active) {
124 margin-left: -1 * $logo-left-distance;
125 &::after {
Akron05238fb2017-06-02 14:29:03 +0200126 font-size: 12pt;
127 width: 10pt;
128 height: 11pt;
Nils Diewald7148c6f2015-05-04 15:07:53 +0000129 }
130 }
131 ul {
132 font-size: 9pt;
133 line-height: 1em;
134 }
Akron1120a582017-10-17 12:29:16 +0200135 &.active ~ main div.intro,
136 &.active ~ main.tutorial {
Akron05238fb2017-06-02 14:29:03 +0200137 margin-left: $standard-margin !important;
138 }
Akron4751da62017-06-07 22:37:10 +0200139
140 &.active {
141 position: relative;
142 display: block;
143 padding-top: 0;
144 width: 100%;
145 top: 0;
146 border-width: 0;
147 fieldset input {
148 font-size: 9pt;
149 }
150 &::after {
151 display: none;
152 }
153 p {
154 display: none;
155 }
156 }
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000157 }
158
Nils Diewalda944fab2015-04-08 21:02:04 +0000159 #tutorial {
160 border-radius: 0;
161 border-width: 0;
162 right: 0;
163 left: 0;
164 bottom: 0;
165 top: 0;
166 padding: 0;
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000167 iframe {
168 border-radius: 0;
169 }
Akron1120a582017-10-17 12:29:16 +0200170 > ul.action.right {
171 height: 1.5em;
172 right: 20px;
173 border-bottom-left-radius: 5px;
174 border-bottom-right-radius: 5px;
175 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000176 }
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000177
178 main.tutorial {
Akron1120a582017-10-17 12:29:16 +0200179 margin-right: 20px;
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000180 }
Akron7e2b8de2018-02-13 18:59:37 +0100181}
182
183
184@media print {
185 body, html, select, g > text {
186 color: black;
187 }
188 header, aside {
189 display: none;
190 }
191 main.tutorial {
192 margin: 1em;
193 }
194 #kalamar-bg {
195 display: none;
196 }
197 a.doc-link {
198 color: black;
199 text-decoration: underline;
200 }
201 pre.query.tutorial {
202 background-color: white;
203 color: black;
204 margin-left: 1em;
205 margin-right: 1em;
206 }
207 blockquote.warning {
208 background-color: grey;
209 color: white;
210 border-left-color: black;
211 border-left-width: 1em;
212 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000213}