p {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
color: #000000;
text-align: justify;
}
td {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
color: #000000;
}
tr {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
color: #000000;
}
ol {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
color: #000000;
}
code, pre, tt, span.input {font-family:monospace;}
ul {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
color: #000000;
}
p.name {
margin-right: -10%;
font-size: 32px;
font-weight:bold;
padding-bottom: 0.1em;
border-bottom: solid;
border-width:1px ;
border-color: 993300;
white-space: pre;
text-align: right;
}
p.fn {
font-size: 10px;
}
  body {
    margin-left: 10%;
    margin-right: 10%;
    font-family: sans-serif;
    color:black;
    background:white;
  }
  h2,h3,h4,h5,h6 { margin-left: -3% }
  pre {
     color: darkblue; font-weight: bold;
     white-space: pre; font-family: monospace;
  }
  div.box { border: solid; border-width: thin; width: 100%; padding: 0.2em; }
  div.menu {width: 100%; padding-top: 3.2em; padding-bottom: 4.2em; margin-right: -10%; }
  div.color {
    background-color: rgb(204,204,255);
    padding: 0.5em;
    border: none;
    width: 100%;
  }
  p.changed {
    padding-left: 0.2em;
    border-left: solid;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left-width: thin;
    border-color: red;
  }
a:link {
color: #000089;
text-decoration: underline;
}
a:visited {
color: #B22222;
}
a:hover {
text-decoration: none;
background-color: #CCCCCC;
}
.menu {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	color: #000000;
	text-align: center;
}
.menu a:link {
	color: #993300;
	text-decoration: none;
}
.menu a:visited {
	color: #993300;
	text-decoration: none;
}

.menu a:hover {
	color: #690000;
	text-decoration: none;
}

.menu a:active {
	color: #666666;
	text-decoration: none;
}