body {
padding-top: 50px;
}
/*
* Global add-ons
*/
.sub-header {
padding-bottom: 10px;
border-bottom: 1px solid #eee;
}
/*
* Top navigation
* Hide default border to remove 1px line.
*/
.navbar-fixed-top {
border: 0;
}
/*
* Sidebar
*/
/* Hide for mobile, show later */
.sidebar {
display: none;
}
@media (min-width: 768px) {
.sidebar {
position: fixed;
top: 51px;
bottom: 0;
left: 0;
z-index: 1000;
display: block;
padding: 20px;
overflow-x: hidden;
overflow-y: auto; /* Scrollable contents if viewport is shorter than content. */
background-color: #f5f5f5;
border-right: 1px solid #eee;
}
}
/* Sidebar navigation */
.nav-sidebar {
margin-right: -21px; /* 20px padding + 1px border */
margin-bottom: 20px;
margin-left: -20px;
}
.nav-sidebar > li > a {
padding-right: 20px;
padding-left: 20px;
}
.nav-sidebar > .active > a,
.nav-sidebar > .active > a:hover,
.nav-sidebar > .active > a:focus {
color: #fff;
background-color: #428bca;
}
/*
* Main content
*/
.main {
padding: 20px;
}
@media (min-width: 768px) {
.main {
padding-right: 40px;
padding-left: 40px;
}
}
.main .page-header {
margin-top: 0;
}
/*
* Placeholder dashboard ideas
*/
.placeholders {
margin-bottom: 30px;
text-align: center;
}
.placeholders h4 {
margin-bottom: 0;
}
.placeholder {
margin-bottom: 20px;
}
.placeholder img {
display: inline-block;
border-radius: 50%;
}
.kw {
color: #800080;
}
.nu {
color: #dda500;
}
.sym {
color: #0033aa;
}
a span.sym {
font-weight: bold;
}
.str {
color: #dd2200;
}
.ty {
color: #347C17;
}
.binding {
background-color: #ddd;
}
pre a {
text-decoration: none;
}
header {
background-color: #646D7E;
border-bottom: 1px thin #000;
padding: 20px 20px 20px 20px;
}
header a {
color: #88aaff;
}
pre.header {
margin: 0.5em 0 0 0;
padding-top: 3px;
padding-left: 3px;
}
pre.body {
margin: 0;
padding-left: 3px;
padding-bottom: 3px;
}
#buttonToggleBody {
border: 1px thin #000;
background-color: #eee;
color: #000;
padding: 5px 5px 5px 5px
}