/* for this theme */ a:visited { color: #886666; } a.keyword:visited { color: #444433; } div.main { margin-right: 150px; } div.sidebar { right: 20px; padding: 6px 2px 2px 2px; } div.body { margin: 2em 1em 0em 4em; } div.section { border-bo…