/* -----------------------------------------------------------------------------
 * Default HTML constructs
 * ---------------------------------------------------------------------------*/
body { margin: 0; font-family: Sans, Sans-Serif; }
pre 
{ 
    white-space: pre-wrap; 
    margin-left: 2rem;
}
img 
{
    height: auto;
    margin: 0;
    max-width: 100%;
    padding: 0;
}
h1, h2, h3, h4 { clear: left; }
li { margin: 0.5rem 0;}

/* -----------------------------------------------------------------------------
 * Main page components
 * ---------------------------------------------------------------------------*/ 
main { margin: 1rem; }
main h1:first-of-type 
{
	 clear: none;
	 margin-top: 0;
}

header 
{
    background-color: #8A0000;
    color: #AAAAAA;
    padding: 0.3rem 0.5rem;
    margin: 0;
    overflow: hidden;
}
header a { color: white; }
header a:visited { color: white; }


/* -----------------------------------------------------------------------------
 * Misc
 * ---------------------------------------------------------------------------*/ 
.left { float: left; }
.right { float: right; }