Merge pull request #116 from ilya-konanykhin/issue-115

Issue #115: New top menu for desktop & mobile.
This commit is contained in:
Jason Denney
2017-01-22 16:35:02 -08:00
committed by GitHub
7 changed files with 34 additions and 17 deletions
+9
View File
@@ -57,4 +57,13 @@ fieldset, .fieldset {
display: inline-block;
padding-left: 6px;
padding-right: 6px;
}
.navbar-default {
.navbar-text {
width: 100%;
font-size: 150%;
margin-top: 10px;
margin-bottom: 10px;
}
}