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 .pair-PairHash {
  26         //color:blue;
  27         //color:#CD853F;
  28   color:#8B4513;
  29  }
  30
  31 .header > .header-name {
  32         //color:#C4451D;
  33         color:darkcyan;
  34  }
  35 .header .header-mark {
  36         color:gray;
  37         //color:#CD853F;
  38         //color:green;
  39         //font-weight:bold;
  40  }
  41 .header.header-colon > .header-name {
  42         color:#C4451D;
  43  }
  44 .header.header-dash > .header-mark {
  45         color:#C4451D;
  46         font-weight:bold;
  47  }
  48 .header.header-equal {
  49         color:gray;
  50  }
  51 .header.header-lower {
  52         color:black;
  53  }
  54 .pair-PairStar > .pair-content {
  55         font-weight:bold;
  56  }
  57 .pair-PairUnderscore > .pair-content {
  58         text-decoration:underline;
  59  }
  60 .pair-PairDash > .pair-content {
  61         text-decoration:line-through;
  62  }
  63 .pair-PairBackquote > .pair-content {
  64         background:#eee;
  65  }
  66 .pair-PairElem > .pair-open,
  67 .pair-PairElem > .pair-close {
  68         font-style:normal;
  69  }
  70 .pair-open,
  71 .pair-close,
  72 .tag > .tag-open {
  73         //color:#000080;
  74         color:darkgrey;
  75  }
  76 .header.header-name-i > .header-value {
  77         font-style:italic;
  78  }
  79 .header.header-dashdash > .header-value {
  80         color:darkgrey;
  81  }
  82 .elem-name {
  83         color:gray;
  84  }
  85 .elem-attr-name {
  86         color:#074726;
  87  }
  88 .elem-attr-value {
  89         color:#9700CF;
  90  }