div.sidebar { float:right; width:30%; border:4px ridge black; padding:0.2em; background-color:grey; color:white; }
div.infobox { float:right; width:20%; border:4px ridge black; padding:0.2em; background-color:lime; color:black; }
iframe.framed { border:4px ridge black; padding:0.2em; background-color:aqua; color:black; width:100%; overflow:scroll; }
div.command-window { border:4px ridge black; padding:0.2em; color:white; background-color:black; }
pre.cpp-source { color:black; background-color:aqua; }
blockquote.standard-text { color:black; background-color:aqua; }
blockquote.commentary { color:black; background-color:grey; }
a.footnotelink { font-size:smaller; vertical-align:super; }
h1.ruled { border-bottom: double grey; }
h2.ruled { border-bottom: 1px solid grey; }
h3.ruled { border-bottom: 1px dotted grey; }
h2.clearright { clear:right; }
table.sidebar { float:right; border:4px ridge black; padding:0.2em; margin:0.5em; }
th.grey { background-color:grey; color:white; }
td.absent { background-color:black; }
td.halftone { color:grey; }
p.compact { margin-top:0px; margin-bottom:0px; }