/* Standard style sheet for triple */
/* Author: fp@cs.cmu.edu */
/* Override default to more readable sans-serif font */
/* Base color: brown, base font: sans-serif */
BODY, H1, H2, H3, H4, P, UL, OL, DL, LI, DT, DD, TH, TD, 
I, B, EM, STRONG
  { font-family: sans-serif; }
A:link { color: #0000FF; }        /* new link, blue */
A:visited { color: #CC00CC; }     /* visited link, violet */
A:hover { color: #CC9900; }       /* hover, gold */
A:active { color: #FF0000; }      /* active, red */
TH { vertical-align: top; }
TD { vertical-align: top; }
TD.sidebar { width:200px; background: #E7CF9E; } /* sidebar, left */
TD.main { background: #FFE7B7; }   /* main body, right */
TD.small { font-size: small; }     /* small (subnodes) */
TD.menu { font-size: small; }
TD.submenu { font-size: x-small }
DT { padding: 1ex 0ex; }           /* definition term */
DT:first-child { padding: 0ex 0ex; }           /* first definition term */
DT.first { padding: 0ex 0ex; }                 /* first definition term */
P.bottom { font-size: small; }                 /* navigation bar, bottom */
B.here { font-weight: bold; }      /* current node, black */
PRE, TT, CODE { font-family: monospace; font-size: medium; } /* fixed width font */

li { margin-top: 1ex }

.nottoowide {
	width:700px;
	}