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 .group-GroupHash {
  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-equal {
  45         color:gray;
  46  }
  47 .key.key-lower {
  48         color:black;
  49  }
  50 .group-GroupStar > .group-content {
  51         font-weight:bold;
  52  }
  53 .group-elem-i > .group-content,
  54 .group-GroupSlash > .group-content {
  55         font-style:italic;
  56  }
  57 .group-GroupUnderscore > .group-content {
  58         text-decoration:underline;
  59  }
  60 .group-GroupDash > .group-content {
  61         text-decoration:line-through;
  62  }
  63 .group-GroupBackquote > .group-content {
  64         background:#ddd;
  65  }
  66 .group-GroupElem > .group-open,
  67 .group-GroupElem > .group-close {
  68         font-style:normal;
  69  }
  70 .group-open,
  71 .group-close,
  72 .tag > .tag-open {
  73         //color:#000080;
  74         color:darkgrey;
  75  }
  76 .elem-name {
  77         color:gray;
  78  }
  79 .elem-attr-name {
  80         color:#074726;
  81  }
  82 .elem-attr-value {
  83         color:#9700CF;
  84  }