.current {
color: magenta; }
/* Let's set some fonts 1/2 */
body {
font-family: "Lato Regular", Verdana, sans;
margin: auto;
width: 60%;
min-width: 800px; }
h1, h2, h3, .header span.whoami {
font-family: "Lato Bold", Verdana, sans;
font-weight: normal; }
/* Handle fallbacks, beware of the font weight */
@font-face {
font-family: "Lato Regular";
font-weight: normal;
src: local("Lato Regular"), url("/assets/fonts/lato-regular.ttf"); }
@font-face {
font-family: "Lato Bold";
font-weight: normal;
src: local("Lato Bold"), url("/assets/fonts/lato-bold.ttf"); }
@font-face {
font-family: "Droid Sans Mono";
src: local("Droid Sans Mono"), url("/assets/fonts/droid-sans-mono.ttf"); }
/* Let's set some fonts 2/2 */
code, pre {
font-family: "Droid Sans Mono", "Monospace";
font-size: 90%; }
/* Alignment classes */
.left {
float: left; }
.right {
float: right; }
.clear {
clear: both; }
/* Reset margins for list to 0 for most */
.header {
padding-left: 20px;
padding-right: 20px;
margin-top: 4px;
margin-left: 0;
margin-right: 0;
padding-bottom: 0;
clear: both;
border-bottom: 1px solid #aaa; }
.header span.whoami {
margin-left: 0;
font-size: 150%;
margin-bottom: 1px;
display: inline-block;
color: #D20C4C; }
.header span.whatami {
margin-left: 0;
font-size: 100%;
/* keep 5px in sync with 5px in ".selected" */
margin-bottom: 5px;
display: inline-block;
color: #444; }
.header table tr td {
vertical-align: bottom; }
.header ul {
font-size: 100%; }
.menu li {
margin: 0;
padding: 0;
display: inline-block;
margin-right: 1px; }
.menu {
padding-left: 0;
padding-right: 0;
margin-top: 5px;
margin-bottom: 5px;
display: inline;
color: #444; }
.selected a {
color: #444; }
.selected {
/* keep 5px in sync with 4px in ".header span.whatami" */
border-bottom: 5px solid #D20C4C; }
.menu li a {
text-decoration: none;
color: #444;
padding-left: 10px;
padding-right: 10px;
padding-top: 2px;
padding-bottom: 2px; }
.menu li:hover {
border-bottom: 5px solid #D20C4C; }
a {
text-decoration: none; }
a:link, a:visited {
color: #0C4CD2; }
a:hover {
color: #D20C4C; }
h1 {
padding-left: 0; }
h2, h3 {
padding-left: 5px; }
h2 {
padding-top: 5px;
padding-bottom: 2px;
border: 1px solid #D20C4C;
background: #D20C4C;
color: white; }
h1, h2, h3, .header ul, .header ol, .header span {
margin-left: 20px;
margin-right: 20px; }
ul, ol, p {
margin-left: 40px;
margin-right: 40px; }
hr {
border: 0px solid black;
margin: 0;
padding: 0; }
.debug {
background-color: #fee;
display: none; }
p {
text-align: justify; }
.footer p {
text-align: center; }
.footer {
margin-top: 300px; }
.backtotop {
font-size: 90%;
text-align: center;
margin-top: 20px;
margin-bottom: 30px; }
span.underline {
text-decoration: underline; }
.small-caps {
font-variant: small-caps; }
.big-note {
margin-left: 100px;
margin-right: 100px;
border: solid 1px #D20C4C;
padding: 10px; }
.centered-text {
text-align: center; }