Minor style changes
Change-Id: Id3aa1ff36b54bd9128ec4105436307fb37b0fc3a
diff --git a/dev/scss/header/vc.scss b/dev/scss/header/vc.scss
index b9567bd..bc6bb64 100644
--- a/dev/scss/header/vc.scss
+++ b/dev/scss/header/vc.scss
@@ -10,6 +10,7 @@
*/
.vc .builder {
+ overflow-x: auto;
margin-top: 4pt;
.docGroup, .doc {
@@ -354,7 +355,8 @@
border: 2px solid $dark-green;
background-color: $nearly-white;
> div:first-child {
- margin: 1.3em;
+ // margin: 1.3em;
+ padding: 1.3em;
}
}
}
diff --git a/dev/scss/media.scss b/dev/scss/media.scss
index 636e1db..4b28ede 100644
--- a/dev/scss/media.scss
+++ b/dev/scss/media.scss
@@ -11,7 +11,8 @@
// (orientation: portrait),
@media all and (max-width: 42.5em) {
body,
- #search ol,
+ #search > ol,
+ #search div.snippet > span,
header,
header input,
div#resultinfo,
@@ -19,6 +20,10 @@
font-size: 9pt;
}
+ header {
+ padding-right: 8px;
+ };
+
header form {
padding-left: 0;
padding-top: 33px;
@@ -78,9 +83,6 @@
> li div.meta {
display: none;
}
- > li:not(:target):not(.active) {
- padding: 3pt 0 3pt 0;
- }
}
div.matchinfo {
@@ -124,8 +126,10 @@
margin-left: -1 * $logo-left-distance;
&::after {
font-size: 12pt;
- width: 10pt;
height: 11pt;
+ text-align: right;
+ padding-right: 3pt;
+ padding-top: 2pt;
}
}
ul {
diff --git a/dev/scss/sidebar/sidebar.scss b/dev/scss/sidebar/sidebar.scss
index 6d08d14..2a99589 100644
--- a/dev/scss/sidebar/sidebar.scss
+++ b/dev/scss/sidebar/sidebar.scss
@@ -35,7 +35,7 @@
margin-right: -1 * ($standard-margin / 2);
background-color: $dark-green;
font-family: FontAwesome;
- content: $fa-bars;
+ content: $fa-login; // $fa-bars
font-size: 16pt;
width: 16pt;
height: 17pt;