max@0: body
max@0:   {
max@0:   font-family: "Trebuchet MS", Trebuchet, "DejaVu Sans", "Luxi Sans", "Liberation Sans", Arial, Helvetica, sans-serif;
max@0:   color: #000000;
max@0:   background-color: #FFFFFF;
max@0:   /* font-size: 10pt; */
max@0:   /* line-height: 120%; */
max@0:   height: 110%;
max@0:   }
max@0: 
max@0: /* In the above, "height: 110%;" is a hack for stylistic purposes.
max@0:    It typically makes the browser place a scroll bar on the left,
max@0:    thereby reducing the overall width of the page. This is necessary,
max@0:    as some pages do not have enough content (height wise) to make
max@0:    the scrollbar appear, while other pages are long enough to have
max@0:    the scrollbar.  When content is centered for stylistic purposes,
max@0:    the content on "short" pages will be in a different place than
max@0:    the content on "long" pages. This can be visually annoying when
max@0:    navigating from a "short" page to a "long" page, or vice versa.
max@0:    Forcing the scrollbar to always appear removes this problem.
max@0: */  
max@0: 
max@0: pre
max@0:   {
max@0:   font-family: "DejaVu Sans Mono", "Liberation Mono", "Andale Mono", "Bitstream Vera Sans Mono", "Luxi Mono", monospace;
max@0:   font-size: smaller;
max@0:   color: #666666;
max@0:   }
max@0: 
max@0: a
max@0:   {
max@0:   text-decoration: none;
max@0:   color: #57a706;
max@0:   }
max@0: 
max@0: a:hover
max@0:   {
max@0:   text-decoration: underline;
max@0:   color: #57a706;
max@0:   }
max@0: 
max@0: a.menu
max@0:   {
max@0:   text-decoration: none;
max@0:   color: #CCCCCC;
max@0:   }
max@0: 
max@0: a.menu:hover
max@0:   {
max@0:   text-decoration: none;
max@0:   color: #57a706;
max@0:   }
max@0: 
max@0: a.hidden, a.hidden:hover, a.hidden:active, a.hidden:link, a.hidden:visited
max@0:   {
max@0:   text-decoration: none;
max@0:   border-bottom: 0px
max@0:   }
max@0: 
max@0: table
max@0:   {
max@0:   /* border: 1px solid #000; */
max@0:   /* display: block; */
max@0:   border-collapse: collapse;
max@0:   }
max@0: 
max@0: td.line
max@0:   {
max@0:   border-left: 2px solid rgb(204, 204, 204);
max@0:   }
max@0: