doc/darcs.css

   1 BODY {
   2   background: white;
   3   color: black;
   4   font-family: arial,sans-serif;
   5   margin: 0;
   6   padding: 1em;
   7 }
   8
   9 A:link {
  10   background: transparent;
  11   color: #494a82;
  12 }
  13
  14 A:visited {
  15   background: transparent;
  16   color: #8081b3
  17 }
  18
  19 PRE     {
  20   background: #eeeeee;
  21   border: 1px solid #888888;
  22   color: black;
  23   padding: 1em;
  24   white-space: pre;
  25 }
  26
  27 H1      {
  28   color: #494a82;
  29   font-size: 24px ;
  30 }
  31
  32 H2      {
  33   color: #494a82;
  34   font-size: 18px;
  35 }
  36
  37 H3      {
  38   color: #494a82;
  39   font-size: 16px;
  40 }
  41
  42 H4      {
  43   color: #494a82;
  44   font-size: 14px;
  45 }
  46
  47 /* headers for darcs command options */
  48 .cmd-opt-hdr     {
  49   color: #494a82;
  50   font-size: 14px;
  51   font-weight: bold;
  52 }
  53
  54 /* begin styles for RSS Feed This is the most basic style to use for a list with no bullets */
  55
  56 .rss_title, rss_title a {
  57     margin: 0px 0;
  58     padding: 0;
  59 }
  60
  61 .rss_items {
  62        list-style:none;
  63        margin:0;
  64        padding:0;
  65 }
  66
  67 .rss_item  {
  68 /*  font-size: x-small; */
  69   margin-bottom: 1em;;
  70 }
  71
  72 .rss_item a:link, .rss_item a:visited, .rss_item a:active {
  73
  74     }
  75
  76 .rss_item a:hover {
  77
  78     }
  79
  80 .rss_date {
  81     font-size: xx-small;
  82     }