libsndfile.css.in 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  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. margin-left : 6% ;
  87. margin-right : 6% ;
  88. }
  89. a:link { color : #9090FF ; }
  90. a:visited { color : #5050FF ; }
  91. a:active { color : #FF00FF ; }
  92. a:hover { background-color : #202080 ; }