---
---
html, body {
font-family: "Arial", sans-serif;
margin: 0;
padding: 0;
font-size: 17px;
background: #333;
}
.printable #navbar{
display: none;
}
.printable #page {
left: 0;
}
.printable .header-link {
display: none !important;
}
a {
color: blue;
text-decoration: underline;
}
img {
max-width: 100%;
}
figure {
padding: 0;
margin: 0;
}
.right_image {
float: right;
margin: 0 0 0 10px;
padding: 0;
}
.right_image img {
margin: 0;
padding: 0;
}
.right_image figcaption {
padding: 0 0 0 6px;
}
#page {
background: white;
margin: 0;
padding: 0 20px 20px 20px;
position: absolute;
left: 250px;
right: 0;
top: 0;
}
#navbar {
position: absolute;
left: 0;
width: 250px;
top: 0;
padding: 0;
margin: 0;
display: block;
list-style: none;
background: #333;
color: white;
}
#navbar li {
display: block;
margin: 0;
padding: 0;
}
#navbar li a.hr {
border-top: 2px solid #666;
}
#navbar li a.selected {
background: #363 !important;
color: white !important;
}
#navbar li a.selected:hover {
background: #474 !important;
}
#navbar li a {
display: block;
padding: 5px;
color: #ccc;
text-decoration: none;
cursor: pointer;
}
#navbar li:nth-child(odd) a {
background: #3c3c3c;
}
#navbar li a:hover {
background: #444;
}
.notice {
margin: 10px;
display: block;
padding: 5px;
border: 1px solid orange;
border-radius: 5px;
background: #FFEEDD;
}
.notice h2 {
margin: 0 0 5px 0;
padding: 0 0 2px 0;
}
code {
display: inline-block;
padding: 5px 10px 5px 10px;
margin: 2px;
background: #f0f0f0;
border: 1px solid #e0e0e0;
border-radius: 2px;
white-space: pre;
max-width: 95%;
overflow-x: auto;
font-size: 14px;
}
.header-link {
position: absolute;
right: 10px;
text-decoration: none;
color: #bbb;
}
.header-link:hover {
color: #999;
}
h1 {
text-align: center;
margin: 10px 0 0 0;
}
h2 {
border-bottom: 1px solid black;
margin: 30px 0 10px 0;
display: block;
padding: 0 0 5px 0;
clear: both;
}
h3 {
font-size: 105%;
font-weight: bold;
margin: 30px 0 10px 0;
}
.toc > ul > li > ul > li > ul {
display: none;
}
@media all and (max-width: 780px) {
#navbar {
position: static;
margin: 0;
width: 100%;
}
#navbar li a {
padding: 10px;
}
#page {
position: static;
margin: 0;
padding-top: 20px;
}
}