@import url("framework.css");

#menu {
   background-color: #F5F5F5;
   border-width: 1px;
   border-style: dotted;
}	

body {
    color: #000000;
    background-color: #FFFFFF;
    font: 11pt Arial, Helvetica, sans-serif;
    text-decoration: none;
}

div.small_head {
    font:      13pt Arial, Helvetica, sans-serif;
    font-weight: bold;
    margin-bottom: 7px;
}

div.section_head {
	font:      12pt Arial, Helvetica, sans-serif;
	font-weight: bold;
	margin-bottom: 7px;
}

div.box {
    padding: 3px 10px 0.5ex 10px;
    margin: 10px;
    background-color: #F5F5F5;
    border-width: 1px;
    border-style: dotted;
}

pre {
	margin: 0px;
	font-size: 10pt;
}

A {
    text-decoration: none;
    color: #0000BB;
}

A:HOVER {
    text-decoration: underline;
}

A:VISITED {
    text-decoration: none;
}