doc/org.eclipse.tracecompass.tmf.pcap.doc.user/book.css

   1 /* following font face declarations need to be removed for DBCS */
   2
   3
   4 body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, sans-serif; color: #000000}
   5 pre                             { font-family: Courier, monospace}
   6
   7 /* end font face declarations */
   8
   9 /* following font size declarations should be OK for DBCS */
  10 body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 12pt; }
  11 pre                             { font-size: 12pt}
  12
  13 /* end font size declarations */
  14
  15 body         { background: #FFFFFF}
  16 h1           { font-size: 18pt; margin-top: 5; margin-bottom: 1 }
  17 h2           { font-size: 14pt; margin-top: 25; margin-bottom: 3 }
  18 h3           { font-size: 11pt; margin-top: 20; margin-bottom: 3 }
  19 h4           { font-size: 10pt; margin-top: 20; margin-bottom: 3; font-style: italic }
  20 h5           { font size: 13.5pt; }
  21 p            { font-size: 12pt; }
  22 pre          { margin-left: 6; font-size: 9pt }
  23
  24 a:link { color: #006699 }
  25 a:visited { color: #996699 }
  26 a:hover  { color: #006699 }
  27
  28 ul           { margin-top: 0; margin-bottom: 10 }
  29 li           { margin-top: 0; margin-bottom: 0 }
  30 li p         { margin-top: 0; margin-bottom: 0 }
  31 ol           { margin-top: 0; margin-bottom: 10 }
  32 dl           { margin-top: 0; margin-bottom: 10 }
  33 dt           { margin-top: 0; margin-bottom: 0; font-weight: bold }
  34 dd           { margin-top: 0; margin-bottom: 0 }
  35 strong       { font-weight: bold}
  36 em           { font-style: italic}
  37 var          { font-style: italic}
  38 div.revision { border-left-style: solid; border-left-width: thin;
  39                                    border-left-color: #7B68EE; padding-left:5 }
  40 th           { font-weight: bold }
  41 .hidden {
  42         display: none;
  43 }
  44
  45 /* Mike Behm's addition to the style sheet */
  46 .userinput { font-family: monospace; }
  47 .guitab, .important, .guibutton, .selectblue, .guimenu, .guilabel,
  48 .notetitle  {
  49      color: #000000;
  50      font-family: helvetica, arial, sans-serif;
  51      font-weight: bold;
  52      }
  53 div.linux  {display:none;}
  54 .firsterm {font-style:italic;}
  55
  56 .typewriter {font-family:monospace;}
  57 .bold {font-weight:600;}
  58 .linethrough {text-decoration: line-through;}
  59 .underline {text-decoration: underline;}