Web/website/web/style.css (37 lines of code) (raw):

.topbox { font-size: medium; font-style: normal; border: 1px #99CCFF solid; padding-right: 10px; padding-left: 10px } .topbox table { font-size: medium; } .textbox { border: 1px #99CCFF solid; padding-right: 10px; padding-left: 10px; margin-top: 10px; } tt { font-size: medium; } dt { font-size: medium; } body { font-family : verdana,arial,helvetica,sans-serif; font-size: small; margin-left: 10px; margin-right: 10px; } table { font-family : verdana,arial,helvetica,sans-serif; font-size: small; } pre { font-size: medium; } :link { text-decoration:none; } :visited { text-decoration:none; } :link:active,:visited:active { text-decoration:none; } :link:hover,:visited:hover { text-decoration:underline; color:#0066FF; } h6 { font-size: 80%; font-weight: normal; }