:root {
    --light: #eee;
    --dark: #1c1c1c;
    /*--highlight: #ff3a21*/
    --highlight: #f5ae2e;
}

body {
    color: var(--light);
    background: var(--dark);
    font: 1.3em monospace;
    text-size-adjust: auto;
}

h1 {
    font: 1.0em monospace;
    font-weight: bold;
    text-align: left;
    text-size-adjust: auto;
    margin-bottom: 0;
}

h2 {
    font: 1.0em monospace;
    font-weight: bold;
    text-align: left;
    text-size-adjust: auto;
    margin-bottom: 0;
    margin-top: 3em;
}

a {
    color: var(--highlight);
}

a:hover {
    color: var(--dark);
    background: var(--highlight);
    text-decoration: none;
}
    
ul {
    list-style: none;
}

li:before {
    content: '* ';
}

pre {
	border-width: 0 0 0 2px;
	border-style: solid;
	border-color: var(--highlight);
	background: black;
	padding: 6px;
	border-radius: 2px;
}

code {
    background: black;
    padding: 0 6px;
    border-radius: 4px;
}

pre code {
	padding: 0;
}

#content {
    max-width: 40em;
    margin: auto;
}

#navigation {
    text-align: center;
}

#navigation pre {
	border: none;
	background: var(--dark);
}

.centered {
    text-align: center;
}