rec.css 2.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  1. /* Style for a "Recommendation" */
  2. /*
  3. Copyright 1997-2003 W3C (MIT, ERCIM, Keio). All Rights Reserved.
  4. The following software licensing rules apply:
  5. http://www.w3.org/Consortium/Legal/copyright-software */
  6. /* $Id: base.css,v 1.25 2006/04/18 08:42:53 bbos Exp $ */
  7. body {
  8. padding: 2em 1em 2em 70px;
  9. margin: 0;
  10. font-family: sans-serif;
  11. color: black;
  12. background: white;
  13. background-position: top left;
  14. background-attachment: fixed;
  15. background-repeat: no-repeat;
  16. counter-reset:section;
  17. }
  18. :link { color: #00C; background: transparent }
  19. :visited { color: #609; background: transparent }
  20. a:active { color: #C00; background: transparent }
  21. a:link img, a:visited img { border-style: none } /* no border on img links */
  22. a img { color: white; } /* trick to hide the border in Netscape 4 */
  23. @media all { /* hide the next rule from Netscape 4 */
  24. a img { color: inherit; } /* undo the color change above */
  25. }
  26. th, td { /* ns 4 */
  27. font-family: sans-serif;
  28. }
  29. h1, h2, h3, h4, h5, h6 { text-align: left }
  30. h2.list{counter-reset:subsection }
  31. h2.list:before{counter-increment:section;content: counter(section) ". ";}
  32. h3.list:before{counter-increment:subsection;content: counter(section) "." counter(subsection) ". ";
  33. }
  34. h3.list{margin-top: 20px;
  35. border-bottom: 0px; }
  36. /* background should be transparent, but WebTV has a bug */
  37. h1, h2, h3 { color: #005A9C; background: white }
  38. h1 { font: 170% sans-serif }
  39. h2 { font: 140% sans-serif }
  40. h3 { font: 120% sans-serif }
  41. h4 { font: bold 100% sans-serif }
  42. h5 { font: italic 100% sans-serif }
  43. h6 { font: small-caps 100% sans-serif }
  44. .hide { display: none }
  45. div.head { margin-bottom: 1em }
  46. div.head h1 { margin-top: 2em; clear: both }
  47. div.head table { margin-left: 2em; margin-top: 2em }
  48. p.copyright { font-size: small }
  49. p.copyright small { font-size: small }
  50. @media screen { /* hide from IE3 */
  51. a[href]:hover { background: #ffa }
  52. }
  53. pre { margin-left: 2em }
  54. /*
  55. p {
  56. margin-top: 0.6em;
  57. margin-bottom: 0.6em;
  58. }
  59. */
  60. dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
  61. dt { font-weight: bold }
  62. pre, code { font-family: monospace } /* navigator 4 requires this */
  63. ul.toc, ol.toc {
  64. list-style: disc; /* Mac NS has problem with 'none' */
  65. list-style: none;
  66. }
  67. @media aural {
  68. h1, h2, h3 { stress: 20; richness: 90 }
  69. .hide { speak: none }
  70. p.copyright { volume: x-soft; speech-rate: x-fast }
  71. dt { pause-before: 20% }
  72. pre { speak-punctuation: code }
  73. }