doc/build/custom-cfg/style-eclipse.css

   1 body  {font-size: 10pt;\r
   2         font-family: SansSerif, Arial, Helvetica, sans-serif;\r
   3         margin-left: 10;\r
   4         margin-right: 5;\r
   5         color: Black;\r
   6         background-color: White}\r
   7 \r
   8 h1 {\r
   9   font-size: 18pt;\r
  10 }\r
  11 \r
  12 h2 {\r
  13   font-size: 16pt;\r
  14 }\r
  15 \r
  16 h3 {\r
  17   font-size: 14pt;\r
  18 }\r
  19 \r
  20 h4 {\r
  21   font-size: 12pt;\r
  22 }\r
  23 \r
  24 table {\r
  25   font-size: 10pt;\r
  26   border-style: none;\r
  27   border-color: silver;\r
  28   margin-top: 5;\r
  29   margin-bottom: 5\r
  30 }\r
  31 \r
  32 td {font-size: 10pt;\r
  33     font-family: SansSerif, Arial, Helvetica, sans-serif;\r
  34     border-color: silver;\r
  35     padding-left: 1;\r
  36     padding-right: 1;\r
  37     padding-top: 1;\r
  38     padding-bottom: 1}\r
  39 \r
  40 th {border-style: none;\r
  41     font-weight: bold;\r
  42     border-color: silver;\r
  43     padding-left: 1;\r
  44     padding-right: 1;\r
  45     padding-top: 1;\r
  46     padding-bottom: 1}\r
  47 \r
  48 kbd {\r
  49   font-family: monospace;\r
  50   font-weight: bold;\r
  51 }\r
  52 \r
  53 var {\r
  54   font-style: italic;\r
  55 }\r
  56 \r
  57 ol {\r
  58   margin-bottom: 1em;\r
  59 }\r
  60 \r
  61 dt {\r
  62   font-weight: bold;\r
  63   margin-top: 1em;\r
  64 }\r
  65 \r
  66 li {\r
  67   margin-top: 1em;\r
  68 }\r
  69 \r
  70 span.control {\r
  71   font-weight: bold;\r
  72 }\r
  73 \r
  74 span.name {\r
  75   font-style: italic;\r
  76   font-weight: bold;\r
  77 }\r
  78 \r
  79 span.action {\r
  80   font-style: italic;\r
  81 }\r
  82 \r
  83 span.code {\r
  84   font-family: monospace;\r
  85 }\r
  86 \r
  87 span.menu {\r
  88   color: #660033;\r
  89   font-weight: bold;\r
  90 }\r
  91 \r
  92 span.filefolder {\r
  93   font-family: monospace;\r
  94 }\r
  95 \r
  96 blockquote {\r
  97   background-color: #e8e8e8;\r
  98   border: 1pt black;\r
  99   margin: 2em; border: 1px solid black;\r
 100   padding: 1em;\r
 101 }\r
 102 \r
 103 .tasks, .reference, .faq {\r
 104   padding-left: 18px;\r
 105   font-size: 14pt;\r
 106   background-image:url(images/bullet14.png);\r
 107   background-repeat: no-repeat;\r
 108   background-position: left;\r
 109  }