body { background-color: white; color: black; } sup { font-size: x-small; font-weight: lighter; } a:link, a:visited { color: #505050; } pre a:link ,pre a:visited ,code a:link ,code a:visited { color: #505050; text-decoration: none; } a.back-link:link ,a.back-link:visited { color: black; text-decoration: none; } pre { border-style: none none none solid; border-width: 1px; border-color: silver; padding-left: 1em; }