.titlebg {  background-color: #4A0C71}
.vertline {  background-image: url(images/vertline.gif); background-repeat: repeat-y}
h1 {  font-family: Arial, Helvetica, sans-serif; font-size: 4ex; color: #4A0C71; font-weight: lighter; clip: rect(); padding-top: 15px; padding-left: 20px; padding-bottom: 1px}
h2 {  font-family: Arial, Helvetica, sans-serif; font-size: 2.4ex; color: #4A0C71; font-weight: lighter; clip: rect(); padding-top: 5px; padding-left: 20px; padding-bottom: 1px}
.sidebar {  font-family: Arial, Helvetica, sans-serif;  color: #663399; font-size: 1.7ex}
a.sidebar:link { text-decoration: none; font-weight: bold}
a.sidebar:hover { color: #663399; text-decoration: underline; font-weight: bold}
a.sidebar:visited { color: #666666; text-decoration: none; font-weight: bold }
a.sidebar:hover,visited { color: #666666; text-decoration: underline; font-weight: bold}
p { font-family: Arial, Helvetica, sans-serif; padding-left: 1.8ex}
.text {  font-family: Arial, Helvetica, sans-serif; font-size: 1.8ex; color: #000000}
.titletext {  font-family: Arial, Helvetica, sans-serif; font-size: 2ex; color: #4A0C71; font-weight: bold; margin-top: 25px; }
a.text:link {  color: #663399; text-decoration: none }
a.text:hover { color: #663399; text-decoration: underline; }
a.text:visited { color: #666666; text-decoration: underline}
.booktitle {  font-style: italic}
.codeparagraph {  font-family: "Courier New", Courier, mono; font-size: 1.9ex; padding-right: 20px; padding-left: 40px}
.codetext {  font-family: "Courier New", Courier, mono; font-size: 1x}
.menutext { }
a.menutext { color: #663399}
.menu { padding-left: 15px; font-family: Arial, Helvetica, sans-serif; font-size: 2ex; font-weight: bold; color: #666666; padding-top: 10px}