share/style.css

   1 body
   2 {
   3         font-family: sans-serif;
   4 }
   5
   6 ul.graph_list
   7 {
   8         margin: 0;
   9         padding: 1ex;
  10         width: 50ex;
  11 }
  12
  13 li.graph
  14 {
  15         display: block;
  16         border: 1px solid gray;
  17         margin-top: 1ex;
  18
  19         background-color: rgb(245,245,255);
  20 }
  21
  22 ul.instance_list
  23 {
  24         margin: 0;
  25         padding: 1ex;
  26         border-top: 1px solid gray;
  27
  28         background-color: rgb(252,252,252);
  29 }
  30
  31 li.instance
  32 {
  33         display: block;
  34
  35         font-size: 90%;
  36 }