workbench/libs/bz2/bzip.css

   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 }