/*Modified Aristotle CSS, Use with the red theme*/ body { color: #000000; background-color: #FFFFF2; font-size: 12pt; font-family: Verdana, Arial, Lucida, Helvetica, sans-serif; } td { color: #000000; font-size: 12px; /*font-family: Verdana, Arial, Lucida, Helvetica, sans-serif;*/ } tr.titlebar { background-color: #069; } tr.section_title, td.section_title { color: #ffffff; background-color: #069; font-family: Arial, Lucida, Helvetica, sans-serif; font-size: 18pt; font-weight: bold; font-style: italic; } tr.post_head { background-color: #ddd; } tr.post_head a { font-weight: bold; } tr.post_body td { padding-bottom: 2em; } td.nodelet_body { background-color: #FFFFF2; font-size: 12px; } tr.highlight { background-color: #ddd; } table.nodelet_container { background-color: #069; } td.nodelet_body { background-color: #FFFFF2; font-size: 11pt; } th.nodelet_head { font-family: Arial, Lucida, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; font-style: italic; color: #fff; background-color: #069; } a:link { color: #CC0000; text-decoration: underline; } a:visited { color: #000055; text-decoration: underline; } a:hover { color: red; text-decoration: underline; } form { display: inline } /* Code blocks are boxed with light yellow background */ pre tt { display: block; background-color: #FFFFF2; border: 1px solid #000066; width: 90%; padding: 0px 2ex 2ex 2ex; }