src/style/tct-html5.css

   1 body {
   2         font-family:monospace;
   3         white-space:pre;
   4         font-size:7.5pt;
   5  }
   6
   7 h1, h2, h3, h4, h5, h6 {
   8         margin:0 0 0 0;
   9         padding:0 0 0 0;
  10         float:none;
  11         clear:none;
  12         display:inline;
  13         font-size:100%;
  14  }
  15 section {
  16   display:inline;
  17  }
  18
  19 .section-title {
  20         color:#6A5ACD;
  21   font-weight:bold;
  22  }
  23
  24 .tag,
  25 .at,
  26 .pair-PairHash {
  27         //color:blue;
  28         //color:#CD853F;
  29   color:#8B4513;
  30  }
  31
  32 .header > .header-name {
  33         //color:#C4451D;
  34         color:darkcyan;
  35  }
  36 .header .header-mark {
  37         color:gray;
  38         //color:#CD853F;
  39         //color:green;
  40         //font-weight:bold;
  41  }
  42 .header.header-colon > .header-name {
  43         color:#C4451D;
  44  }
  45 .header.header-dash > .header-mark {
  46         color:#C4451D;
  47         font-weight:bold;
  48  }
  49 .header.header-equal {
  50         color:gray;
  51  }
  52 .header.header-lower {
  53         color:black;
  54  }
  55 .pair-PairStar > .pair-content {
  56         font-weight:bold;
  57  }
  58 .pair-PairUnderscore > .pair-content {
  59         text-decoration:underline;
  60  }
  61 .pair-PairDash > .pair-content {
  62         text-decoration:line-through;
  63  }
  64 .pair-PairBackquote > .pair-content {
  65         background:#eee;
  66  }
  67 .pair-PairElem > .pair-open,
  68 .pair-PairElem > .pair-close {
  69         font-style:normal;
  70  }
  71 .pair-open,
  72 .pair-close,
  73 .at > .at-open,
  74 .tag > .tag-open {
  75         //color:#000080;
  76         color:darkgrey;
  77  }
  78 .header.header-name-i > .header-value {
  79         font-style:italic;
  80  }
  81 .header.header-dashdash > .header-value {
  82         color:darkgrey;
  83  }
  84 .elem-name {
  85         color:gray;
  86  }
  87 .elem-attr-name {
  88         color:#074726;
  89  }
  90 .elem-attr-value {
  91         color:#9700CF;
  92  }