2016-08-19 14:37:44 +01:00
|
|
|
body {
|
|
|
|
background-image:none !important;
|
|
|
|
}
|
|
|
|
|
2016-08-23 13:58:32 -05:00
|
|
|
/* limit the height of dropdown menus */
|
2016-08-19 14:37:44 +01:00
|
|
|
.dropdown-menu {
|
|
|
|
max-height: 400px !important;
|
|
|
|
overflow-x: hidden !important;
|
|
|
|
}
|
|
|
|
|
2016-08-25 09:42:18 -05:00
|
|
|
/* push down the content when the header flows to two lines */
|
|
|
|
.bs-sidebar {
|
|
|
|
margin-top: 45px;
|
2016-08-23 13:24:03 -05:00
|
|
|
}
|
|
|
|
|
2016-08-23 13:58:32 -05:00
|
|
|
/* hide the menu called hidden, used to generate unlinked docs */
|
2016-08-23 13:24:03 -05:00
|
|
|
#dropdown-hidden {
|
|
|
|
display: none;
|
|
|
|
}
|
2016-08-23 13:58:32 -05:00
|
|
|
|
|
|
|
/* avoid scrollbar on mobile (default 360px) */
|
|
|
|
.navbar-collapse {
|
|
|
|
max-height: 385px;
|
|
|
|
}
|
2016-10-24 10:37:30 -05:00
|
|
|
|
|
|
|
/* size and align the headers on the home screen */
|
2016-10-24 12:48:04 -05:00
|
|
|
.home-header {
|
|
|
|
font-size: 1.6em;
|
|
|
|
}
|
2017-11-18 19:19:18 -06:00
|
|
|
.home-header, .home-header a {
|
|
|
|
color: #da223a;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
.home-header i {
|
2016-10-24 12:48:04 -05:00
|
|
|
vertical-align: middle;
|
|
|
|
padding-right: 12px;
|
|
|
|
}
|
2017-11-18 19:19:18 -06:00
|
|
|
.home-header span { vertical-align: middle; }
|