body {
    background-color: #0c0c55;
    color: #aaffcc;
    width: 90%;
}
[href] {
    color: #00fff0;
}

a:hover {
    color: #00ccc0;
}
a:visited {
    color: #00ff1d;
}
a:visited:hover {
    color: #00cc1d;
}
p {
    padding-left: .5em;
}
.code {
    background-color: #aaa;
    color: #343434;
    border: 2px solid #666;
    padding: 5px;
    font-family: monospace;
}
.mincode {
    background-color: #aaa;
    color: #343434;
    border: 1px solid #666;
    font-family: monospace;
    padding: 1px;
}

