div.image {
    float: right;
    text-align: center;
    font-style: italic;
    font-weight: bold;
    margin: 0px 0px 5px 5px;
}

/* Used to write code */
p.code {
    font: normal normal normal 12px "Courier New";
    white-space: pre;
    background-color: white;
}

.error {
    color: #fb1313;
}

table {
    padding: 0px;
    border: 2px solid black;
    border-spacing: 0px;
    background-color: #eeeff0;
}
th {
    background-color: #cfcfcf;
    margin: 0px;
    border-bottom: 1px solid black;
    padding: 4px;
    font: normal normal bolder 16px Arial;
    border-spacing: 0px;
}
td {
    padding: 4px;
    border-spacing: 0px;
}

div#menu {
    text-align: center;
    text-decoration: none;
    padding: 65px 0px 0px 5px;
    margin: 0px;
}
div#menu a {
    display: inline-block;
    text-decoration: none;
    background-color: white;
    padding: 2px;
    margin: 0px 0px 3px 0px;
    border: 1px solid black;
    font: normal normal normal 14px Arial;
    color: black;
}
div#menu a:hover {
	background-color: #808080;
	color: white;
	text-decoration: none;
}
p {
    margin: 10px 0px 0px 0px;
}

h1 {
    text-align: left;
    margin: 0px 0px 15px 0px;
    font: normal normal bolder 37px "courier new";
}
h2 {
    display: inline-block;
    margin: 0px;
    width: 98%;
    border-bottom: 2px dotted #474747;
    color: #474747;
    padding: 3px;
    font: normal normal bolder 18px sans-serif;
}
h3 {
    font: normal normal bolder 15px sans-serif;
    margin: 7px 0px 0px 0px;
    padding: 0px;
}


/* ----------------- */
/* D I V   B O X E S */
/* ----------------- */

div#vertical_ad {
    float: right;
    background-color: white;
    border: 1px solid black;
}

div#header {
    background-image: url(images/header_background.jpg);
    height: 150px;
    width: 660px;
    padding: 0px 10px 0px 10px;
    border: 1px solid black;
    border-bottom: 0px solid black;
}

/* The box with search box and line with Google links */
div#google_box {
    width: 680px;
    padding: 0px;
    border: 1px solid black;
    border-bottom: 0px solid black;
}

div#contents {
    border: 1px solid black;
    width: 660px;
    background-color: #eeeff0;
    padding: 10px;
}

div#footer {
    border: 0px solid black;
	padding: 5px 10px;
	width: 660px;
	color: #8d8787;
	text-align: center;
	font: normal normal normal 12px sans-serif;
}

div#footer a {
    color: #8d8787;
}

body {
    background-color: #cfcfcf;
}

* {
    font: normal normal normal 14px Arial;
}