style.css 789 B

123456789101112131415161718192021222324252627282930313233343536
  1. body, td, p { font-family: sans-serif, verdana, arial, helvetica;
  2. font-size: 13px }
  3. A:link { color: #3333CC }
  4. A:visited { color: #883388 }
  5. A:active { color: #FF3333 }
  6. p.title { font-family: impact, times, sans-serif;
  7. color: #5E5EA5;
  8. margin-bottom: -10px;
  9. font-size: 24px }
  10. p.pagetitle { font-family: impact, times, sans-serif;
  11. color: #9B9BCC;
  12. font-size: 23px }
  13. p.linkinfo { text-indent: -20px;
  14. margin-left: 20px;
  15. margin-top: 8px }
  16. p.navy { font-size: 11px }
  17. p.expression { margin-left: 20px;
  18. text-align: left }
  19. pre { font-family: monospace, courier;
  20. font-size: 12px }
  21. pre.source { margin-left: 20px;
  22. color: #5E5EA5 }
  23. pre.sourceu { color: #5E5EA5 }
  24. pre.formula { margin-left: 20px }