body { background: #EEEEEE; font-size:100%; font-family: "Gill Sans MT", "Gill sans", "Trebuchet ms", sans-serif; color:#000000; } .navigation { background:#EEEECC; } .dontprint { } .sitetitle { font-size:120%; color:#FFFFFF; font-weight:bolder; margin-bottom:0px; padding:0px; } .sitenavigation { font-size:100%; color:#000000; font-weight:bold; } .sitenavigationtitle { font-size:110%; color:#000000; font-weight:bold; margin-bottom:0px; padding:0px; } table.content { background: #FFFFFF; } table.image { background: #E5EEF6; } .code { margin-top: 8px; margin-bottom: 8px; background: #DDDDDD; } .command { margin-top: 8px; margin-bottom: 8px; background: #DDDDDD; font-family: "Courier New", "Courier", mono; } h1 { font-size:140%; margin:1px; padding:1px; } h2 { font-size:130%; color:#444444; margin:1px; padding:1px; } h3 { font-size:120%; color:#000000; font-weight:bolder; margin-bottom:4px; padding:1px; border-bottom-style:dotted; border-width:1px; } h4 { font-size:110%; color:#000000; font-weight:bold; margin-bottom:4px; padding:1px; } ul { list-style-type:none; margin-top: 8px; margin-bottom: 8px; } li { list-style-type:square; } ul.navigation { padding-left: 15px; margin-left: 0px; list-style-type:square; } li.navigation { list-style-type:square; } .alert { font-size:100%; font-weight:bolder; color:#FFFFFF; background-color:#FF0000; } .error { font-size:100%; color:#990000; } .inactive { color:#AAAAAA; font-weight:normal; } .unimportant { color:#777777; font-weight:normal; } .dotted-underline { border-bottom-style:dotted; border-color:#777777; border-width:1px; } p.introduction { width:60%; font-size:100%; color:#666666; margin:1px; padding:1px; text-align:justify; } a:link { color: #0000FF; } a:visited { color: #551A8B; } a:active { background: #FFFFC5; color: #990000; text-decoration: underline; } a:hover { background: #FFFFC5; color: #990000; text-decoration: underline; } .regular { font-size:90%; } .regular-small { font-size:80%; } .regular-tiny { font-size:70%; } .inverted { background: #000000; color:#FFFFFF; } .inverted-medium { background: #AAAA77; color: #FFFFFF; } div.arsccommercial { width: 50%; padding: 8px; background: #FDDE74; color: #000000; font-weight: bold; font-size:80%; }