bundles/org.simantics.databoard/src-isv/style.css

   1
   2 /* following font face declarations need to be removed for DBCS */
   3
   4 body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
   5 pre, code, tt   { font-family: "Courier New", Courier, monospace;}
   6
   7 /* end font face declarations */
   8
   9 @media print {
  10         html { font-size: 12pt }
  11 }
  12
  13 body         { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
  14 h1           { font-size: 180%; margin-top: 5px; margin-bottom: 1px }
  15 h2           { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
  16 h3           { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
  17 h4           { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
  18 p            { margin-top: 10px; margin-bottom: 10px }
  19 pre          { font-size: 93%; margin-left: 6; color: #4444CC }
  20 pre.code     { background-color:#fffff7; border: 1px dashed #cccccc; padding: 2ex; margin-left:2em; margin-right:2em; margin-top: 1em; margin-bottom:1em; color: #000000 }
  21 code, tt     { font-size: 93%; }
  22 table        { font-size: 100% } /* needed for quirks mode */
  23 a:link       { color: #0000FF }
  24 a:hover      { color: #000080 }
  25 a:visited    { text-decoration: underline }
  26 ul           { margin-top: 10px; margin-bottom: 10px; }
  27 li           { margin-top: 5px; margin-bottom: 5px; }
  28 li p         { margin-top: 5px; margin-bottom: 5px; }
  29 ol           { margin-top: 10px; margin-bottom: 10px; }
  30 dl           { margin-top: 10px; margin-bottom: 10px; }
  31 dt           { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }
  32 dd           { margin-top: 5px; margin-bottom: 5px; }
  33 strong       { font-weight: bold}
  34 em           { font-style: italic}
  35 var          { font-style: italic}
  36 div.revision { border-left-style: solid; border-left-width: thin;
  37                                    border-left-color: #7B68EE; padding-left:5 }
  38 th           { font-weight: bold }