Documentation/texinfo.css

   1   hr { border:0; height:1; color: #000000; background-color: #000000; }
   2 /* hr {
   3   border:  none;
   4   height: 1px;
   5   color: #666666;
   6   background-color: #666666;
   7 }
   8 body {
   9   border-left: 1px solid #666666;
  10   border-right: 1px solid #666666;
  11   color: #332d28;
  12   margin-right: auto;
  13   margin-left: auto;
  14   width: 60em;
  15   list-style-type: square;
  16   font-family: Arial,Helvetica,sans-serif;
  17   padding-right: 1em;
  18   padding-left: 1em;
  19 }
  20 a {
  21   border-bottom: 1px dashed #344242;
  22   text-decoration: none;
  23   color: #344242;
  24 }
  25 a:link {
  26   text-decoration: none;
  27 }
  28 a:visited {
  29   border-bottom: 1px dashed #666666;
  30   color: #666666;
  31 }
  32 a:active {
  33   border-bottom: 1px solid #00cccc;
  34   color: #00cccc;
  35 }
  36 a:hover {
  37   border-bottom: 1px solid #1d7b85;
  38   color: #1d7b85;
  39 }
  40 blockquote {
  41   border: 1px solid #cccccc;
  42   padding: 3px;
  43   width: 40em;
  44 }
  45 .node {
  46   border-left: 1px solid #666666;
  47   margin: -0.5em 0px 1em;
  48   padding: 2px 1px 0px;
  49   font-style: italic;
  50 }
  51 .node a {
  52   border:  none;
  53   text-decoration: underline;
  54   font-style: normal;
  55   font-weight: bold;
  56 }
  57 .verbatim {
  58   font-family: "Courier New",Courier,monospace;
  59 }
  60 .unnumberedsubsubsec {
  61   font-size: large;
  62   color: #1d7b85;
  63 }
  64 .subsubheading {
  65   font-size: large;
  66   color: #3b220d;
  67 }
  68 .contents {
  69   border: 1px dashed #339999;
  70   margin: 3px 2em;
  71   list-style-type: square;
  72   padding-right: 1em;
  73   width: 40em;
  74   background-color: #fcfff9;
  75 }
  76 .contents a {
  77   border-bottom: 1px dashed #423d34;
  78   text-decoration: none;
  79   color: #423d34;
  80 }
  81 .contents a:visited {
  82   border-bottom: 1px dashed #666666;
  83   color: #666666;
  84 }
  85 .contents a:active {
  86   border-bottom: 1px solid #f0d86d;
  87   color: #f0d86d;
  88 }
  89 .contents a:hover {
  90   border-bottom: 1px solid #3b220d;
  91   color: #3b220d;
  92 }
  93 .menu {
  94   border-left: 1px dashed #339999;
  95   margin: 3px 2em 1em;
  96   list-style-type: square;
  97   padding-left: 1.4em;
  98   width: 40em;
  99 }
 100 .unnumbered {
 101 }
 102 h2 {
 103   font-size: x-large;
 104   color: #1d7b85;
 105 }
 106 */