a{color:blue; font-family:arial; font-size:12px; font-weight:normal; text-decoration:underline;}
a:hover{color:blue;}

a.is{color:green; font-family:arial; font-size:12px; font-weight:bold; text-decoration:underline;}
a.is:hover{color:green;}

a.nav{color:green; font-family:arial; font-size:12px; font-weight:bold; text-decoration:underline;}
a.nav:hover{color:green;}

.title1{color:black; font-family:Times New Roman; font-size:32px; font-weight:bold;}
.title2{color:black; font-family:Times New Roman; font-size:24px; font-weight:bold;}
.title3{color:black; font-family:Times New Roman; font-size:16px; font-weight:bold;}
.title4{color:black; font-family:Times New Roman; font-size:12px; font-weight:bold;}
.notyet{color:red; font-family:Times New Roman; font-size:16px; font-weight:bold;}
.ingress{color:black; font-family:arial; font-size:12px; font-weight:bold;}
.bread{color:black;font-family:arial;font-size:12px;font-weight:normal;}
.is{color:green;font-weight:bold;}
.bold{font-weight:bold;}
.under{text-decoration:underline;}
.note{color:black; font-family:arial; font-size:11px; font-weight:normal;font-style:italic;}
.side{color:green; font-family:arial; font-size:10px; font-weight:normal;font-style:normal;}
.codetitle{color:blue; font-family:courier; font-size:12px; font-weight:normal;font-style:normal;}
.code{color:black; font-family:courier; font-size:10px; font-weight:normal;font-style:normal;}
.codecomment{color:red; font-family:courier; font-size:10px; font-weight:normal;font-style:normal;}