1 /* Colours: 2 #74240f dark brown h1, h2, h3, h4 3 #336699 medium blue links 4 #339999 turquoise link hover colour 5 #202020 almost black general text 6 #761596 purple md5sum text 7 #626262 dark gray pre border 8 #eeeeee very light gray pre background 9 #f2f2f9 very light blue nav table background 10 #3366cc medium blue nav table border 11 */ 12 13 a, a:link, a:visited, a:active { color: #336699; } 14 a:hover { color: #339999; } 15 16 body { font: 80%/126% sans-serif; } 17 h1, h2, h3, h4 { color: #74240f; } 18 19 dt { color: #336699; font-weight: bold } 20 dd { 21 margin-left: 1.5em; 22 padding-bottom: 0.8em; 23 } 24 25 /* -- ruler -- */ 26 div.hr_blue { 27 height: 3px; 28 background:#ffffff url("/images/hr_blue.png") repeat-x; } 29 div.hr_blue hr { display:none; } 30 31 /* release styles */ 32 #release p { margin-top: 0.4em; } 33 #release .md5sum { color: #761596; } 34 35 36 /* ------ styles for docs|manuals|howto ------ */ 37 /* -- lists -- */ 38 ul { 39 margin: 0px 4px 16px 16px; 40 padding: 0px; 41 list-style: url("/images/li-blue.png"); 42 } 43 ul li { 44 margin-bottom: 10px; 45 } 46 ul ul { 47 list-style-type: none; 48 list-style-image: none; 49 margin-left: 0px; 50 } 51 52 /* header / footer nav tables */ 53 table.nav { 54 border: solid 1px #3366cc; 55 background: #f2f2f9; 56 background-color: #f2f2f9; 57 margin-bottom: 0.5em; 58 } 59 /* don't have underlined links in chunked nav menus */ 60 table.nav a { text-decoration: none; } 61 table.nav a:hover { text-decoration: underline; } 62 table.nav td { font-size: 85%; } 63 64 code, tt, pre { font-size: 120%; } 65 code, tt { color: #761596; } 66 67 div.literallayout, pre.programlisting, pre.screen { 68 color: #000000; 69 padding: 0.5em; 70 background: #eeeeee; 71 border: 1px solid #626262; 72 background-color: #eeeeee; 73 margin: 4px 0px 4px 0px; 74 } 75
