lucene-java-3.5.0/lucene/contrib/xml-query-parser/docs/DTDDocStyle.css

   1 body { background-color:white; font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; font-size: small; }
   2 table { border: none}
   3 th.title { font-weight:bold; text-align:center; padding-left:1em; padding-right:1em}
   4 th.subtitle { font-weight:normal; text-align:left; padding-left:1em; padding-right:1em}
   5 td { text-align:left; vertical-align:baseline; padding-left:1em; padding-right:1em}
   6 td.construct { vertical-align:top; padding-left:1em; padding-right:1em}
   7 th.ruler { background-color:black; color:black}
   8 table.elementTitle { width:100%; background-color:#E0F0FF}
   9 td.leftElementTitle { font-weight:bold; font-size: medium;}
  10 td.rightElementTitle { text-align:right}
  11 table.attributeTitle { width:100%; background-color:#DDDDDD}
  12 td.leftAttributeTitle { font-weight:bold; font-size: medium;}
  13 td.rightAttributeTitle { text-align:right}
  14 p { text-align:justify;}
  15 p.model { padding-left:3em; text-align:left; font-style:italic}
  16 p.DTDSource { text-align:right; width:100%; background-color:#DDDDDD}
  17 p.emptyTagNote { font-style:italic}
  18 h1 { font-family:Arial; font-size: x-large;}
  19 h2 { font-size: medium;}
  20 h2.TOCTitle { font-family:Arial; font-size: medium;}
  21 .inTextTitle { font-weight:bold }
  22 pre, code { font-family: "Courier New", Courier, monospace; font-size: small; }
  23
  24 pre#dtd_source { border: dotted 1px Gray; padding: 6pt 6pt 6pt 6pt;}
  25 .xml_plain {
  26 color: #000;
  27 }
  28 .dtd_tag_symbols {
  29 color: #003bff;
  30 }
  31 .dtd_comment {
  32 color: #555; background-color: #f8f8f8;
  33 }
  34 .dtd_attribute_name {
  35 color: #000;
  36 }
  37 .dtd_tag_name {
  38 color: #3f3fbf;
  39 }
  40 .dtd_char_data {
  41 color: #000;
  42 }
  43 .dtd_processing_instruction {
  44 color: #000; font-weight: bold; font-style: italic;
  45 }
  46 .dtd_attribute_value {
  47 color: #c10000;
  48 }
  49 .dtd_dtddoc_tag {
  50 color: #939393;
  51 background-color: #f7f7f7;
  52 font-style: italic;
  53 font-weight: bold;
  54 }
  55 .dtd_keyword {
  56 color: #800000;
  57 }