body {
 margin: 2 2 2 2;
 padding: 0;
 font-family: Georgia, Times, "Times New Roman", serif;
 color: black;
 width: 900px;
 
}
#javazoid {
    font-family: sans-serif;
    font-style: italic;
    font-weight: bolder;
    font-size: 72px;
    font-variant: small-caps;
    color: brown;
    margin: 3px;
    padding: 3px;
}

#banner{
    margin: 0px;
    padding: 5px;
    border: 1px solid brown;
    background-color: wheat

}
#SIDEBAR {
 float: left;
 width: 250px;
 margin-left: 10px;
 padding-top: 1em;
}
#ARTICLE {
 padding-top: 1em;
 margin: 0 2em 0 300px;
}
#footer {
 clear: both;
 padding-top:3em;
 padding-bottom: 1em;
 padding-left: 300px;
}
pre {
 background-color: #ccc;
 width: 550px;
}