interpreter/lib/src/libsndfile-1.0.25/doc/libsndfile.css.in

   1 body {
   2         background : @HTML_BGCOLOUR@ ;
   3         color : @HTML_FGCOLOUR@ ;
   4         font-family : arial, helvetica, sans-serif ;
   5         line-height: 1.5 ;
   6 }
   7 td {
   8         font-family : arial, helvetica, sans-serif ;
   9         background : @HTML_BGCOLOUR@ ;
  10         color : @HTML_FGCOLOUR@ ;
  11 }
  12 center {
  13         font-family : arial, helvetica, sans-serif ;
  14 }
  15 p {
  16         font-family : arial, helvetica, sans-serif ;
  17         text-align : left ;
  18         margin-left : 3% ;
  19         margin-right : 3% ;
  20 }
  21 .indent_block {
  22         font-family : arial, helvetica, sans-serif ;
  23         text-align : left ;
  24         margin-left : 10% ;
  25         margin-right : 10% ;
  26 }
  27 br {
  28         font-family : arial, helvetica, sans-serif ;
  29 }
  30 form {
  31         font-family : arial, helvetica, sans-serif ;
  32 }
  33 ul {
  34         font-family : arial, helvetica, sans-serif ;
  35         text-align : left ;
  36         margin-left : 3% ;
  37         margin-right : 6% ;
  38 }
  39 ol {
  40         font-family : arial, helvetica, sans-serif ;
  41         text-align : left ;
  42         margin-left : 3% ;
  43         margin-right : 6% ;
  44 }
  45 dl {
  46         font-family : arial, helvetica, sans-serif ;
  47         text-align : left ;
  48         margin-left : 3% ;
  49         margin-right : 3% ;
  50 }
  51 h1 {
  52         font-size : xx-large ;
  53         background : @HTML_BGCOLOUR@ ;
  54         color : #5050FF ;
  55         text-align : left ;
  56         margin-left : 3% ;
  57         margin-right : 3% ;
  58 }
  59 h2 {
  60         font-size : x-large ;
  61         background : @HTML_BGCOLOUR@ ;
  62         color : #5050FF ;
  63         text-align : left ;
  64         margin-left : 3% ;
  65         margin-right : 3% ;
  66 }
  67 h3 {
  68         font-size : large ;
  69         background : @HTML_BGCOLOUR@ ;
  70         color : #5050FF ;
  71         text-align : left ;
  72         margin-left : 3% ;
  73         margin-right : 3% ;
  74 }
  75 h4 {
  76         font-size : medium ;
  77         background : @HTML_BGCOLOUR@ ;
  78         color : #5050FF ;
  79         text-align : left ;
  80         margin-left : 3% ;
  81         margin-right : 3% ;
  82 }
  83 pre {
  84         font-family : courier, monospace ;
  85         font-size : medium ;
  86 }
  87 a:link { color : #9090FF ; }
  88 a:visited { color : #5050FF ; }
  89 a:active { color : #FF00FF ; }
  90 a:hover { background-color : #202080 ; }