blob: ddd26fa4d4432136100e242cca6038b3baa41acb [file] [log] [blame]
@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;
}
}