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