body {
    background-color: white;
    font-family: "Georgia", sans-serif;
    font-size: 16px;
    line-height: 1.6em;
    padding: 1.6em 0 0 0;
    color: #333;
}

h1, h2, h3, h4, h5, h6 {
    color: #444;
}

h1 { 
    font-family: sans-serif;
    font-weight: normal;
    font-size: 4em;
    line-height: 0.8em;
    letter-spacing: -0.1ex;
    margin: 5px;
}

li {
    padding: 0;
    margin: 0;
    list-style-type: square;
}

a {
    color: #5E5AFF;
    font-weight: normal;
    
}

blockquote {
    font-size: 90%;
    font-style: italic;
    border-left: 1px solid #111;
    padding-left: 1em;
}

.caps {
    font-size: 80%;
}

#main {
    width: 45em;
    padding: 0;
    margin: 0 auto;
}

.coda {
    text-align: right;
    color: #77f;
    font-size: smaller;
}

table {
    font-size: 90%;
    line-height: 1.4em;
    color: #ff8;
    background-color: #111;
    padding: 2px 10px 2px 10px;
    border-style: dashed;
}

th {
    color: #fff;
}

td {
    padding: 2px 10px 2px 10px;
}

.success {
    color: #0CC52B;
}

.failed {
    color: #E90A1B;
}

.unknown {
    color: #995000;
}

pre, code {
    font-family: monospace;
    font-size: 60%;
    line-height: 1.4em;
    color: black;
    background-color: white;
    padding: 2px 10px 2px 10px;
    font-weight: lighter;
}

.comment { color: darkgray; font-style: italic; }
.keyword { color: darkyellow; font-weight: bold; }
.punct { color: black; font-weight: bold; }
.symbol { color: teal; }
.string { color: green; }
.ident { color: blue; }
.constant { color: darkblue; }
.regex { color: purple; }
.number { color: red; }
.expr { color: #227; }

#version {
    float: right;
    text-align: right;
    font-family: sans-serif;
    font-weight: normal;
    background-color: #B3ABFF;
    color: #141331;
    padding: 15px 20px 10px 20px;
    margin: 0 auto;
    margin-top: 15px;
    border: 3px solid #141331;
}

#version .numbers {
    display: block;
    font-size: 4em;
    line-height: 0.8em;
    letter-spacing: -0.1ex;
    margin-bottom: 15px;
}

#version p {
    text-decoration: none;
    color: #141331;
    background-color: #B3ABFF;
    margin: 0;
    padding: 0;
}

#version a {
    text-decoration: none;
    color: #141331;
    background-color: #B3ABFF;
}

.clickable {
    cursor:	pointer; 
    cursor:	hand;
}

