Some minor improvements on media queries
Change-Id: I1b35607365c9aee0bc692191c1eba5f2cb9918c3
diff --git a/dev/scss/media.scss b/dev/scss/media.scss
index 0155462..45304d1 100644
--- a/dev/scss/media.scss
+++ b/dev/scss/media.scss
@@ -8,7 +8,8 @@
$standard-margin: 4px;
-@media (orientation: portrait), (max-width: 42.5em) {
+// (orientation: portrait),
+@media all and (max-width: 42.5em) {
body,
#search ol,
header,
@@ -117,15 +118,18 @@
&:not(:focus):not(.active) {
margin-left: -1 * $logo-left-distance;
&::after {
- font-size: 12pt;
- width: 10pt;
- height: 11pt;
+ font-size: 12pt;
+ width: 10pt;
+ height: 11pt;
}
}
ul {
font-size: 9pt;
line-height: 1em;
}
+ &.active + main div.intro {
+ margin-left: $standard-margin !important;
+ }
}
#tutorial {