emacs/nxhtml/nxhtml/html-toc/html-toc/html-toc.css

   1 body {
   2     margin: 0;
   3 }
   4 td {
   5     font-size: 1em;
   6 }
   7
   8 /* Added by html-wtoc.pl >>>>>>>>>>>>> */
   9 .html-wtoc-mark {
  10 /*     background-color: #9cf; */
  11 /*     background-color: #bcee68; */
  12 /*     background-color: #a2cd5a; */
  13     width: 20px;
  14     padding: 0;
  15     border: 0;
  16     text-align: center;
  17 }
  18 .html-wtoc-contline {
  19     width: 100%;
  20 }
  21
  22 .html-wtoc-margin {
  23     width: 0.6em;
  24 }
  25 .html-wtoc-contents {
  26     font-size: 0.9em;
  27     padding: 1em;
  28     background-color: #9cf;
  29     background-color: #a2cd5a;
  30     background-color: #efffcf;
  31     background-color: #ffffdf;
  32     -moz-border-radius-topleft: 2em;
  33 }
  34 .html-wtoc-contents td {
  35 /*     background-color: #9cf; */
  36 /*     background-color: #bcee68; */
  37 /*     background-color: #a2cd5a; */
  38 }
  39 .html-wtoc-contents-a {
  40     text-decoration: none;
  41     color: #595C00;
  42 /*     background-color: #9cf; */
  43 /*     background-color: #bcee68; */
  44 /*     background-color: #a2cd5a; */
  45     border: 1px #9cf solid;
  46     border: 1px #a2cd5a solid;
  47     border: 1px #ffffc0 solid;
  48     padding-left: 0.25em;
  49     padding-right: 0;
  50     margin: 1px;
  51     display: block;
  52 }
  53 .html-wtoc-contents a:hover {
  54     text-decoration: none;
  55     background-color: #b9ffb9;
  56     border: 1px #6b8e23 solid;
  57 }
  58 .html-wtoc-currcont {
  59     background-color: #738600;
  60     color: #ffff2f;
  61     background-color: #535600;
  62     border: 1px #6b8e23 inset;
  63     padding-left: 0.25em;
  64     padding-right: 0;
  65     margin: 1px;
  66     display: block;
  67 }
  68 a.html-wtoc-currcont {
  69     text-decoration: none;
  70 }
  71 a.html-wtoc-currcont:hover {
  72     background-color: #738600;
  73     background-color: #536600;
  74     background-color: #434620;
  75 }
  76 /* <<<<<<<<<<<<<<<<<<< */
  77
  78
  79
  80
  81
  82
  83
  84