/***********/
/* GENERAL */
/***********/

body
{
    margin: 0;
    padding: 1em;
    font-family: monospace;
    background-color: #111111;
    color: #d3d3d3;
    font-size: 11pt;
}
header
{
    float: right;
    width: 30%;
    border-left-style: groove;
    padding-left: 1em;
}
section
{
    width: 70%;
}
pre
{
/*  color: #48393a; */
    color: #bca282;
}
h1
{
  color: #917781;
}
a 
{
  color: #65534d;
}
a:hover
{
    color: #382c2f;
}