doc.css 885 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970
  1. #main {
  2. margin-left: auto;
  3. margin-right: auto;
  4. max-width: 55em;
  5. text-align: justify;
  6. }
  7. h2 {
  8. font-family: monospace;
  9. background-color: #b2c9db;
  10. padding: 7px;
  11. border-radius: 7px;
  12. }
  13. div.title {
  14. margin-bottom: 2em;
  15. }
  16. ol {
  17. list-style: none;
  18. margin-bottom: 4em;
  19. }
  20. li a {
  21. color: black;
  22. }
  23. li.header {
  24. margin-top: 1em;
  25. margin-bottom: 0.3em;
  26. font-weight: bold;
  27. }
  28. div.decl p:first-child {
  29. margin-top: 2.5em;
  30. }
  31. div.decl p:first-child .first-word {
  32. font-weight: bold;
  33. font-family: monospace;
  34. }
  35. .sectionpreamble {
  36. margin-top: 5em;
  37. }
  38. .sectionpreamble p:first-child {
  39. font-weight: bold;
  40. font-size: 1.5em;
  41. }
  42. .section pre {
  43. background-color: #b2c9db;
  44. padding: 5px;
  45. border-radius: 5px;
  46. }
  47. td {
  48. padding: 2px;
  49. }
  50. tr:nth-child(even) {
  51. background-color: #eee;
  52. }
  53. tr.header td {
  54. font-weight: bold;
  55. padding-top: 1em;
  56. padding-bottom: 0.5em;
  57. }