.boxed {
    border: 1px solid #333;
}

pre, code { 
    font-family: monospace;
	font-size: 10pt;
	color:#333;
	background-color: #EEE;
	border: 1px solid #333;
	padding: 5px;
	margin-left: 30px;
}

.doubleline {
    border-top: 4px double #666;
}

p, td, th, li {
	font-family: verdana, arial, sans-serif;
	font-size: 10pt;
}

li {
	font-family: verdana, arial, sans-serif;
	font-size: 10pt;
	margin-bottom: 5px;
}

.ThinList {
    line-height: 100%;
}

h2 {
    font-family: georgia, verdana, arial, sans-serif;
    color:#333;
    font-size : 20pt;
    line-height: 120%;
}

h3 {
    font-family: georgia, times new roman, serif;
    font-size : 14pt;
}

h4 {
    font-family: georgia, times new roman, serif;
    font-size : 14pt;
    border-bottom:1px solid #999;
    margin-bottom:10px;
}

.Navbar {
    font-family: Verdana, Arial;
    font-size : 10pt;
    font-weight: bold;
    margin-top: 5px;
    margin-bottom: 5px;
}

.tiny {
    font-family: Verdana, Arial;
    font-size : 8pt;
}