a:link { color: #0000ff }
a:visited { color: #00cc00; }
a:hover { background-color: #ffffbf;  color: #ff00ff; font-size: 20px }
a:active { color: #ff0000 }
body { 
     margin-left: 10%; 
     margin-right: 10%; 
     font-family: sans-serif
}
.addmargtop
{
     text-align: center;
     margin-top: 1cm
}
.cent
{
     text-align: center;
}
.centbold
{
     text-align: center;
     font-weight: bold;
}
.cent table
{
     margin-left: auto;
     margin-right: auto;
     text-align: left
}
.centbold table
{
     margin-left: auto;
     margin-right: auto;
     text-align: center;
     font-weight: bold;
}
.head1 { text-align: center; color: #ff0000 }
.head2 { text-align: center; color: #0000ff }
.head3 { 
     text-align: center; 
     font-style: italic; 
     color: #ff0000 
}
.head4 { 
     text-align: center; 
     font-style: italic; 
     color: #0000ff 
}
.sub1 {
     color: #ff0000
}
.sub2 {
     color: #0000ff
}
.sub3 {
     font-weight: bold;
     color: #ff0000
}
.sub4 {
     font-weight: bold;
     color: #0000ff
}
h2,h3,h4,h5,h6 { margin-left: -3% }
pre {
     color: green; font-weight: bold;
     white-space: pre; font-family: monospace;
}
tt { color: green }
em { font-style: italic; font-weight: bold }
strong { font-weight: bold }
.navbar { text-align: center }
div.box { border: solid; border-width: thin; width: 100%; padding: 0.2em; }
div.color {
     background-color: rgb(204,204,255);
     padding: 0.5em;
     border: none;
     width: 100%;
}
pre.bad { color: rgb(192, 101, 101) }
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;
}
.dropcap {
     float: left;
     font: bold 1.4em "Times New Roman", serif;
     color: rgb(51, 0, 102);
     background: rgb(255, 255, 153);
}
table {
    font-family: sans-serif;
    font-size: 95%;
    border-width: 2;
    border-color: white;
}
td {
     font-family: sans-serif;
     font-size: 95%;
     font-weight: bold;
}
td.shaded { background: rgb(255, 255, 153) }
th.shaded { background: rgb(204, 204, 153) }