body, a {
font-family: Arial, Times New Roman;
font-size: 10pt;
}
td {
font-size:11pt;
}
a:link, a:visited, a:hover {
color: #000080;
text-decoration: underline
}
#nav h2 {
font-size: 16px;
font-weight: bold;
font-style: italic;
color: #c80000;
margin-bottom: 2px;
}
#nav ul {
margin-top: 0;
}
#nav li {
font-weight: bold;
}
h1.case {
font-size: 18px;
margin-bottom: 0;
color: #1279c8;
}
span.casepoint {
font-size: 14px;
font-weight: bold;
}
.notables {
margin-left:20px;
font-size:14px;
font-style:italic;
}