Chris@4: /* Colours:
Chris@4: #74240f  dark brown      h1, h2, h3, h4
Chris@4: #336699  medium blue     links
Chris@4: #339999  turquoise       link hover colour
Chris@4: #202020  almost black    general text
Chris@4: #761596  purple          md5sum text
Chris@4: #626262  dark gray       pre border
Chris@4: #eeeeee  very light gray pre background
Chris@4: #f2f2f9  very light blue nav table background
Chris@4: #3366cc  medium blue     nav table border
Chris@4: */
Chris@4: 
Chris@4: a, a:link, a:visited, a:active { color: #336699; }
Chris@4: a:hover { color: #339999; }
Chris@4: 
Chris@4: body { font: 80%/126% sans-serif; }
Chris@4: h1, h2, h3, h4 { color: #74240f; }
Chris@4: 
Chris@4: dt { color: #336699; font-weight: bold }
Chris@4: dd { 
Chris@4:  margin-left: 1.5em; 
Chris@4:  padding-bottom: 0.8em;
Chris@4: }
Chris@4: 
Chris@4: /* -- ruler -- */
Chris@4: div.hr_blue { 
Chris@4:   height:  3px; 
Chris@4:   background:#ffffff url("/images/hr_blue.png") repeat-x; }
Chris@4: div.hr_blue hr { display:none; }
Chris@4: 
Chris@4: /* release styles */
Chris@4: #release p { margin-top: 0.4em; }
Chris@4: #release .md5sum { color: #761596; }
Chris@4: 
Chris@4: 
Chris@4: /* ------ styles for docs|manuals|howto ------ */
Chris@4: /* -- lists -- */
Chris@4: ul  { 
Chris@4:  margin:     0px 4px 16px 16px;
Chris@4:  padding:    0px;
Chris@4:  list-style: url("/images/li-blue.png"); 
Chris@4: }
Chris@4: ul li { 
Chris@4:  margin-bottom: 10px;
Chris@4: }
Chris@4: ul ul	{ 
Chris@4:  list-style-type:  none; 
Chris@4:  list-style-image: none; 
Chris@4:  margin-left:      0px; 
Chris@4: }
Chris@4: 
Chris@4: /* header / footer nav tables */
Chris@4: table.nav {
Chris@4:  border:     solid 1px #3366cc;
Chris@4:  background: #f2f2f9;
Chris@4:  background-color: #f2f2f9;
Chris@4:  margin-bottom: 0.5em;
Chris@4: }
Chris@4: /* don't have underlined links in chunked nav menus */
Chris@4: table.nav a { text-decoration: none; }
Chris@4: table.nav a:hover { text-decoration: underline; }
Chris@4: table.nav td { font-size: 85%; }
Chris@4: 
Chris@4: code, tt, pre { font-size: 120%; }
Chris@4: code, tt { color: #761596; }
Chris@4: 
Chris@4: div.literallayout, pre.programlisting, pre.screen {
Chris@4:  color:      #000000;
Chris@4:  padding:    0.5em;
Chris@4:  background: #eeeeee;
Chris@4:  border:     1px solid #626262;
Chris@4:  background-color: #eeeeee;
Chris@4:  margin: 4px 0px 4px 0px; 
Chris@4: }