docs/style/utuistyle.css

   1 h1 { text-align: center; }
   2 caption { font-weight: bold }
   3 a.qindex {}
   4 a.qindexRef {}
   5 a.el { text-decoration: none; font-weight: bold }
   6 a.elRef { font-weight: bold }
   7 a.code { text-decoration: none; font-weight: normal; color: #4444ee }
   8 a.codeRef { font-weight: normal; color: #4444ee }
   9 dl.el { margin-left: -1cm }
  10 div.fragment { width: 100%; border: none; background-color: #eeeeee }
  11 div.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
  12 td.md { font-weight: bold; }
  13 td.mdname1 { font-weight: bold; }
  14 td.mdname { font-weight: bold; }
  15 div.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
  16 div.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
  17 td.indexkey {
  18    font-weight: bold;
  19    padding-right  : 10px;
  20    padding-top    : 2px;
  21    padding-left   : 10px;
  22    padding-bottom : 2px;
  23    margin-left    : 0px;
  24    margin-right   : 0px;
  25    margin-top     : 2px;
  26    margin-bottom  : 2px
  27 }
  28 td.indexvalue {
  29    font-style: italic;
  30    padding-right  : 10px;
  31    padding-top    : 2px;
  32    padding-left   : 10px;
  33    padding-bottom : 2px;
  34    margin-left    : 0px;
  35    margin-right   : 0px;
  36    margin-top     : 2px;
  37    margin-bottom  : 2px
  38 }
  39 span.keyword       { color: #008000 }
  40 span.keywordtype   { color: #604020 }
  41 span.keywordflow   { color: #e08000 }
  42 span.comment       { color: #800000 }
  43 span.preprocessor  { color: #806020 }
  44 span.stringliteral { color: #002080 }
  45 span.charliteral   { color: #008080 }
  46