R.css 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657
  1. BODY{ background: white;
  2. color: black }
  3. A:link{ background: white;
  4. color: blue }
  5. A:visited{ background: white;
  6. color: rgb(50%, 0%, 50%) }
  7. H1{ background: white;
  8. color: rgb(55%, 55%, 55%);
  9. font-family: monospace;
  10. font-size: x-large;
  11. text-align: center }
  12. H2{ background: white;
  13. color: rgb(40%, 40%, 40%);
  14. font-family: monospace;
  15. font-size: large;
  16. text-align: center }
  17. H3{ background: white;
  18. color: rgb(40%, 40%, 40%);
  19. font-family: monospace;
  20. font-size: large }
  21. H4{ background: white;
  22. color: rgb(40%, 40%, 40%);
  23. font-family: monospace;
  24. font-style: italic;
  25. font-size: large }
  26. H5{ background: white;
  27. color: rgb(40%, 40%, 40%);
  28. font-family: monospace }
  29. H6{ background: white;
  30. color: rgb(40%, 40%, 40%);
  31. font-family: monospace;
  32. font-style: italic }
  33. IMG.toplogo{ vertical-align: middle }
  34. IMG.arrow{ width: 30px;
  35. height: 30px;
  36. border: 0 }
  37. span.acronym{font-size: small}
  38. span.env{font-family: monospace}
  39. span.file{font-family: monospace}
  40. span.option{font-family: monospace}
  41. span.pkg{font-weight: bold}
  42. span.samp{font-family: monospace}
  43. div.vignettes a:hover {
  44. background: rgb(85%, 85%, 85%);
  45. }