h1 { font-variant:small-caps; }

#menu { border-style:inset; border-size:2px; }

.menu_item { border-style:outset; border-size:2px; padding-bottom:1ex; margin:0.25ex; text-align:center; }

.tiny_text { font-size:small; color:#555; }

.section { padding-bottom:1em; }

ol > li > ol { list-style-type:lower-alpha; }
li { padding-bottom:1ex; }

user { font-weight:bold; text-decoration:underline; }

.title { font-weight:bold; display:block; font-family:serif; }

div.program { margin-left:4ex;border:1px solid #000;font-family:monospace;display:block; padding:0.5ex; }
.program > .comment { color:#777; }
.program > .ignore { color:#bbb; }
.program > .title { margin-left:4ex; }
.program > .hl { color:red; }

program { margin-left:4ex;border:1px solid #000;font-family:monospace;display:block; padding:0.5ex; }
program > .comment { color:#777; }
program > .ignore { color:#bbb; }
program > .title { margin-left:4ex; }
program > .hl { color:red; } 

desc { margin-left:4ex;border:1px solid #000;font-family:monospace;display:block; border: 0px solid white;font-size:large; }
div.math { margin-left:4ex; border:1px solid #000;font-family:sans-serif; padding:0.5ex; display:block; }

td > program { margin-left:0ex; border:0px solid #fff; }
td.program { font-family:monospace; }

.error { color:red; }

table.program { margin-left:4ex; width:97%; }
table.program td { border:1px solid #000; vertical-align: text-top; }

table.prog { margin-left:4ex; width:97%; border:1px solid #000; }
table.prog td { vertical-align:text-top; font-family:monospace; border:1px solid #ccc; }

ul.key-questions { border:2px dashed #008542; background-color:#dbffd6; }

.bg-red { background-color:#fbb4ae; }
.bg-blue { background-color:#b3cde3; }
.bg-green { background-color:#ccebc5; }
.bg-purple { background-color:#decbe4; }
.bg-orange { background-color:#fed9a6; }
.bg-yellow { background-color:#ffffcc; }
.bg-brown { background-color:#e5d8bd; }
.bg-magenta { background-color:#fddaec; }
.bg-grey { background-color:#f2f2f2; }