etc/Style/style.css

   1 <style type="text/css">
   2 <!--
   3   body { font-family: "Times New Roman", Times, serif; color: #000000; background-color: #FFFFFF; }
   4   p { text-align: justify; }
   5   tt, pre, code { font-family: Courier New, Courier, mono; background-color: #EDF3F7; padding: 1px; }
   6   h1:not(.title) { margin-top: 2.25em; }
   7   h2:not(.author) { margin-top: 2.0em; }
   8   h3, h4 { margin-top: 1.75em; }
   9   a { color: #0000BB; text-decoration: none; }
  10   a:visited { color: #0000BB; text-decoration: none; }
  11   a:active { color: #0000FF; text-decoration: none; }
  12   a:hover { color: #0000FF; text-decoration: underline; }
  13   img { margin-bottom: 0.75em; }
  14   ul, ol  { margin-bottom: 2.0em; }
  15   li>ul, li>ol  { margin-bottom: 0em; }
  16 -->
  17 </style>