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

   1
   2         /* following font face declarations need to be removed for DBCS */
   3         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 }
   4         pre, code, tt   { font-family: "Courier New", Courier, monospace;}
   5         /* end font face declarations */
   6
   7         body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
   8         h1           { font-size: 180%; margin-top: 5px; margin-bottom: 1px }
   9         h2           { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
  10         h3           { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
  11         h4           { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
  12         p            { margin-top: 10px; margin-bottom: 10px }
  13         pre          { font-size: 93%; margin-left: 6; color: #4444CC }
  14         img.border   { border:1px dashed }
  15         pre.solid    { border:1px solid #333; background: #eee; padding: 3px; margin: 3px; }
  16         pre.dotted   { font-size: 93%; margin-left: 6; padding: 1em;border: 1px dashed #2f6fab;color: black;background-color: #f9f9f9;line-height: 1.1em; }
  17         code, tt     { font-size: 93%; }
  18         table        { font-size: 100% } /* needed for quirks mode */
  19         a:link       { color: #0000FF }
  20         a:hover      { color: #000080 }
  21         a:visited    { text-decoration: underline }
  22
  23
  24         ul               { margin-top: 4px; margin-bottom: 4px; list-style-image: url("arrow.png"); margin-left: 7px; }
  25         li               { margin-left: 4px; margin-bottom: 4px; padding: 0; /* margin between bullet and content */ }
  26         ol               { margin-top: 10px; margin-bottom: 10px; }
  27
  28
  29         dl               { margin-top: 10px; margin-bottom: 10px; }
  30         dt               { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }
  31         dd               { margin-top: 5px; margin-bottom: 5px; }
  32         strong       { font-weight: bold}
  33         em               { font-style: italic}
  34         var              { font-style: italic}
  35         div.revision { border-left-style: solid; border-left-width: thin;
  36                                            border-left-color: #7B68EE; padding-left:5 }
  37         th               { font-weight: bold }