documentation/common/styles.css

   1 pre {\r
   2         font-family: Verdana, Arial, sans-serif;\r
   3 }\r
   4 body{\r
   5         background-color: #fafafa;\r
   6     font-family: Verdana, Arial,sans-serif;\r
   7         font-size: small;\r
   8         line-height:150%;\r
   9 }\r
  10 h1,h2,h3,p, table, ul {\r
  11     font-family: Verdana,Arial,sans-serif;\r
  12 }\r
  13 h1 {\r
  14         border-bottom: 1px dashed #cfcfcf;\r
  15         margin-left: -5px;\r
  16         padding-left: 15px;\r
  17         margin-right: -5px;\r
  18         padding-right: 15px;\r
  19 }\r
  20 h2{\r
  21         color: #666;\r
  22         border-bottom: 1px dashed #cfcfcf;\r
  23         margin-left: -5px;\r
  24         padding-left: 15px;\r
  25         margin-right: -5px;\r
  26         padding-right: 15px;\r
  27 }\r
  28 a {\r
  29         text-decoration: none;\r
  30         border-bottom: 1px solid;\r
  31         font-weight: bold;\r
  32 }\r
  33 a:hover {\r
  34         border-bottom: 0px;\r
  35 }\r
  36 td,th {\r
  37         font-size: 85%;\r
  38 }\r
  39 \r
  40 kbd {\r
  41         padding: 0px 1px 0px 1px;\r
  42         border-width: 1px 2px 2px 1px;\r
  43         border-style: solid;\r
  44         border-color: #edd #baa #baa #eed;\r
  45         white-space: pre;\r
  46 }\r
  47 \r
  48 code {\r
  49     font-family: Verdana,Arial,sans-serif;\r
  50         background-color: #efefef;\r
  51         padding: 0px 4px 0px 4px;\r
  52         border-width: 1px 1px 1px 1px;\r
  53         border-style: solid;\r
  54         border-color: #edd #baa #baa #eed;              \r
  55 }\r
  56 \r
  57 \r
  58 div#toc {\r
  59         color: #f0f0f0;\r
  60         padding-bottom: 15px;\r
  61 }\r
  62 \r
  63 div#toc ul {\r
  64         list-style: none;\r
  65 }\r
  66 div#toc li {\r
  67         padding-top: 2px;\r
  68         padding-bottom: 0px;\r
  69 }\r
  70 \r
  71 ol {\r
  72         margin-top: 0px;\r
  73 }\r
  74 \r
  75 ol li {\r
  76         padding-bottom: 3px;\r
  77 }\r
  78 \r
  79 dl {\r
  80         margin: 0 10px\r
  81 }\r
  82 dl dd { \r
  83         padding-top: 0px;\r
  84         padding-left: 5px;\r
  85         margin-left: 5%;\r
  86         border-left: 1px solid #d0d0d0;\r
  87         margin-bottom: 10px;\r
  88 }\r
  89 \r
  90 dd p {\r
  91         margin-top: 0px;\r
  92         margin-bottom: 0px;\r
  93 }\r
  94 dd p:last-child {\r
  95         padding-bottom: 0px;\r
  96 }\r
  97 acronym {\r
  98         cursor: help;\r
  99 }\r
 100 a[href*="http"] {\r
 101         padding-right: 8px;\r
 102         background-image: url('link-out.gif');\r
 103         background-repeat: no-repeat;\r
 104         background-position: right 4px;\r
 105         margin-right: 2px;\r
 106 }\r
 107 div#nav-links {\r
 108         margin-left: 20px;\r
 109         margin-right: 20px;\r
 110         margin-bottom: 20px;\r
 111 }\r
 112 div#nav-links a {\r
 113         color: black;\r
 114         text-decoration: none;\r
 115         border-bottom: 1px solid;\r
 116 }\r
 117 pre {\r
 118         font-family: Courier, monospace;\r
 119         background-color: #eef;\r
 120         padding: 5px;\r
 121         margin-left: 20px;\r
 122         color:#761596;\r
 123     margin-top: 0px;\r
 124         width: 50%;\r
 125         font-size: smaller;\r
 126 }\r
 127 div.seq {\r
 128         font-size: smaller;\r
 129         padding: 5px;\r
 130         border: 1px dashed #cfcfcf;\r
 131 }\r
 132 div.tag {\r
 133         margin: 10px;\r
 134         font-size: smaller;\r
 135         padding: 5px;\r
 136         line-height: 110%;\r
 137         color: #cfcfcf;\r
 138 }\r
 139 div.add-note {\r
 140         background-color: #f0f0f0;\r
 141         padding: 5px;\r
 142 }\r
 143 div.add-note h3 {\r
 144         margin-top: 0px;\r
 145         margin-bottom: 0px;\r
 146 }\r
 147 div.note {\r
 148         background-color: #fefefe;\r
 149         padding: 5px;\r
 150         margin-bottom: 5px;\r
 151 }\r
 152 div.note h4 {\r
 153         margin-top: 0px;\r
 154         margin-bottom: 0px;\r
 155 }\r
 156 div.note h5 {\r
 157         margin-top: 0px;\r
 158         margin-bottom: 0px;\r
 159         float: right;\r
 160         font-weight: normal;\r
 161 }