div.sidebar { float:right; width:30%; border:4px ridge black; padding:0.2em; margin:0.2em; background:grey; color:white; }
div.infobox { float:right; width:20%; border:4px ridge black; padding:0.2em; margin:0.2em; background:lime; color:black; }
div.toc { float:left; width:20%; border:4px ridge black; padding:0.2em; margin:0.2em; background:aqua; color:black; }
div.command-window { border:4px ridge black; padding:0.2em; color:white; background-color:black; }
pre.file-content { color:black; background-color:silver; }
div.note { background:silver; color:black; }
blockquote.quotation { color:black; background-color:aqua; }
h1.ruled { border-bottom: double grey; }
h2.ruled { border-bottom: 1px solid grey; }
h3.ruled { border-bottom: 1px dotted grey; }
a.footnotelink { font-size:smaller; vertical-align:super; }
ul.hlist { margin: 0; padding: 0; display: inline; }
ul.hlist li { display: inline; }
ul.hlist li:after { content: " · "; font-weight: bold; }
ul.hlist li:last-child:after { content: none; }
ul.compact li p { margin-top:0px; margin-bottom:0px; }
dl.compact dt p { margin-top:0px; margin-bottom:0px; }
dl.compact dd p { margin-top:0px; margin-bottom:0px; }
span.keytop { font-family:monospace; border-radius:0.4em; border:0.4em outset; padding:0.2em; background-color:lightgrey; color:black; }
div.keytop { font-family:monospace; border-radius:0.4em; border:0.4em outset; padding:0.2em; background-color:lightgrey; color:black; }
th.grey { background-color:grey; color:white; }
table.bordered { border:4px ridge black; padding:0.2em; margin:0.5em; }