R.css 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  1. body {
  2. background: white;
  3. color: black;
  4. }
  5. a:link {
  6. background: white;
  7. color: blue;
  8. }
  9. a:visited {
  10. background: white;
  11. color: rgb(50%, 0%, 50%);
  12. }
  13. h1 {
  14. background: white;
  15. color: rgb(55%, 55%, 55%);
  16. font-family: monospace;
  17. font-size: x-large;
  18. text-align: center;
  19. }
  20. h2 {
  21. background: white;
  22. color: rgb(40%, 40%, 40%);
  23. font-family: monospace;
  24. font-size: large;
  25. text-align: center;
  26. }
  27. h3 {
  28. background: white;
  29. color: rgb(40%, 40%, 40%);
  30. font-family: monospace;
  31. font-size: large;
  32. }
  33. h4 {
  34. background: white;
  35. color: rgb(40%, 40%, 40%);
  36. font-family: monospace;
  37. font-style: italic;
  38. font-size: large;
  39. }
  40. h5 {
  41. background: white;
  42. color: rgb(40%, 40%, 40%);
  43. font-family: monospace;
  44. }
  45. h6 {
  46. background: white;
  47. color: rgb(40%, 40%, 40%);
  48. font-family: monospace;
  49. font-style: italic;
  50. }
  51. img.toplogo {
  52. width: 4em;
  53. vertical-align: middle;
  54. }
  55. img.arrow {
  56. width: 30px;
  57. height: 30px;
  58. border: 0;
  59. }
  60. span.acronym {
  61. font-size: small;
  62. }
  63. span.env {
  64. font-family: monospace;
  65. }
  66. span.file {
  67. font-family: monospace;
  68. }
  69. span.option{
  70. font-family: monospace;
  71. }
  72. span.pkg {
  73. font-weight: bold;
  74. }
  75. span.samp{
  76. font-family: monospace;
  77. }
  78. div.vignettes a:hover {
  79. background: rgb(85%, 85%, 85%);
  80. }