body { font-family: 'Source Code Pro', serif; font-size: 16pt; }
a, a:hover, a:visited, a:focus { color: black; }
a:hover { text-decoration: underline; }
.mockcode { font-family: 'Source Code Pro', monospace; }
.mockcode .prompt, .mockcode .cmd { color: #666; }
.mockcode .keyword { color: #a50; }
.mockcode .eof { color: #ccc; }
p { margin: 0pt; }
.nav { margin-bottom: 3em; font-size: .7em; }
.nav-pills li a { background-color: #eee; }
.nav-pills li a:hover { background-color: #ddd; }
.nav-pills li.active a,
.nav-pills li.active a:hover { background-color: #555; }
.content { padding: 0pt .2em; }