body {
        background-color: #efefef;
        font-family: arial, verdana, sans-serif;
        font-size: 0.9em;
        padding: 0;
        margin: 5;
}

a {
        color: #13509a;
        text-decoration: underline;
}

a:hover {
        color: #13509a;
        text-decoration: none;
}

hr {
        height: 1px;
        background-color: #ccc;
        color: #ccc;
        margin: 5px;
        border: 0;
        border: 1px;
}

span.code {
	color: red;
	background-color: #f1f1f1;
	font-size: 0.8em;
}

#floatright {
	float: right;
	margin: 25px;
        padding: 5px;
	width: 250px;
}

#note {
	width: 550px;
	background-color: #9f9f9f;
	margin: 25px;
	padding: 5px;
} 

#subject {
	background-color: #f1f1f1;
	font-size: 1.1em;
	margin-bottom: 5px;
}

#thenote {
	background-color: #fefefe;
	font-size: 1.0em;
	padding-top: 10px;
	padding-bottom: 10px;
}

#date {
	background-color: #f1f1f1;
	font-size: 0.75em;
	margin-top: 5px;
}

#code {
	border: red 1px dashed;
	padding: 5px;
	color: red;
        background-color: #f1f1f1;
	font-size: 0.75em;
        margin-top: 5px;
	margin-bottom: 5px;
	margin-left: 5px;
	margin-right: 5px;
}