css_e.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657
  1. * {margin: 0; padding: 0; border-width: 0;}
  2. body {margin: 8px; background-color: #e0ffff; font-color: black; line-height: 133%; max-width: 1024px;}
  3. a:link {color: blue;}
  4. a:visited {color: darkmagenta;}
  5. a:hover {background-color: #a0ffff;}
  6. a:active {color: darkmagenta; position: relative; top: 1px; left: 1px;}
  7. abbr {border-width: 1px;}
  8. p {margin: 0 0 0.3em 1em;}
  9. em {font-style: normal; font-weight: bold; margin: 0 0.1em;}
  10. pre em {font-style: italic; font-weight: normal;}
  11. strong {}
  12. pre {margin: 1em; line-height: 1.2em; background-color: white;}
  13. tt {margin: 0 0.2em;}
  14. ol {margin: 0 2em;}
  15. ul {margin: 0 2em;}
  16. dl {margin: 0 1em;}
  17. dt {font-family: monospace;}
  18. dl.par dt {margin: 0.5em 0 0 0 ; font-style: italic; }
  19. dl.ret dt {margin: 0.5em 0 0 0 ; font-weight: bold;}
  20. dd {margin: 0 2em;}
  21. hr {border-width: 1px; margin: 1em;}
  22. div.abst {font-family: sans-serif;}
  23. div.para {clear: both; font-family: serif;}
  24. .equ {text-indent: 0; margin: 1em 2em 1em;}
  25. .indent {margin-left: 2em;}
  26. .rset {float: right; margin: 0 0 0.5em 0.5em;}
  27. .lset {float: left; margin: 0 0.5em 0.5em 0.5em;}
  28. ul.flat li {list-style-type: none; margin: 0;}
  29. a.imglnk img {border: 1px solid;}
  30. .iequ {white-space: nowrap; font-weight: bold;}
  31. .clr {clear: both;}
  32. .it {font-style: italic;}
  33. .mfd {font-size: 0.7em; padding: 0 1px; border: 1px solid; white-space : nowrap}
  34. h1 {line-height: 1em; font-size: 2em; font-family: sans-serif; padding: 0.3em 0 0.3em;}
  35. p.hdd {float: right; text-align: right; margin-top: 0.5em;}
  36. hr.hds {clear: both; margin-bottom: 1em;}
  37. h2 {font-size: 1.5em; font-family: sans-serif; margin: 0 0 0.5em;}
  38. h3 {font-size: 1.5em; font-family: sans-serif; margin: 2em 0 0.5em;}
  39. h4 {font-size: 1.2em; font-family: sans-serif; margin: 1.5em 0 0.2em;}
  40. h5 {font-size: 1em; font-family: sans-serif; margin: 0.5em 0 0em;}
  41. small {font-size: 80%;}
  42. .indent {margin-left: 2em;}
  43. /* Tables */
  44. table {margin: 4px; border-collapse: collapse; border-style: solid; border-width: 2px; border-color: black; }
  45. th {background-color: white; border-style: solid; border-width: 1px 1px 2px; border-color: black; padding: 0 3px; vertical-align: top; white-space: nowrap;}
  46. td {background-color: white; border-style: solid; border-width: 1px; border-color: black; padding: 0 3px; vertical-align: top; line-height: 1.3em;}
  47. table.lst td:first-child {font-family: monospace;}
  48. table.lst2 td {font-family: monospace;}
  49. table caption {font-family: sans-serif; font-weight: bold;}
  50. tr.lst3 td { border-width: 2px 1px 1px; }
  51. p.foot {clear: both; text-indent: 0; margin: 1em 0.5em 1em;}