simple.css 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. body {
  2. background-color: white;
  3. color: black;
  4. font-family: georgia, verdana, sans-serif;
  5. padding-bottom: 2em;
  6. font-size-adjust: 0.5;
  7. }
  8. p {
  9. text-align: justify;
  10. line-height: 130%;
  11. }
  12. pre {
  13. margin-left: 2em;
  14. }
  15. /*.widespace {
  16. margin: 0.1em;
  17. }*/
  18. a {
  19. color:#0000b0;
  20. text-decoration:none;
  21. }
  22. a:hover {
  23. color:#6060ff;
  24. text-decoration:underline;
  25. }
  26. h1,h2,h3,h4,h5,h6,
  27. h1 a,h2 a,h3 a,h4 a,h5 a,h6 a {
  28. color:#25b;
  29. }
  30. h1 {
  31. margin-top: 1.5em;
  32. margin-bottom: 0;
  33. }
  34. h2 {
  35. margin-top: 1.5em;
  36. }
  37. .hr1in {
  38. height: 1px;
  39. background-color: #999; /* used by FF */
  40. color: #999; /* used by IE */
  41. border: 0;
  42. }
  43. .hr1,.hr2,.hr3,.hr4,.hr5,.hr6 {
  44. display: none;
  45. }
  46. .hr0in {
  47. height: 1px;
  48. background-color: #7a7;
  49. border: 0;
  50. }
  51. .hr0in,.hr2in,.hr3in,.hr4in,.hr5in,.hr6in {
  52. display: none;
  53. }
  54. .c0 {
  55. width: 700px;
  56. }
  57. /*
  58. .c0 {
  59. width: 700px;
  60. margin-left: auto;
  61. margin-right: auto;
  62. text-align: center;
  63. }
  64. */
  65. .c1 {
  66. text-align: left;
  67. }
  68. .toc {
  69. font-size: 95%;
  70. margin-top: 1em;
  71. margin-left: 2em;
  72. padding: 0.2em;
  73. border: 1px dotted black;
  74. }
  75. .toc ul {
  76. /*list-style-type: circle;*/
  77. }
  78. .toc ul ul ul {
  79. /*list-style-type: ;*/
  80. }
  81. .toc ul ul ul ul {
  82. display: none;
  83. }
  84. code a {
  85. font-weight: bold;
  86. }
  87. a.invalidlink {
  88. color: #900000;
  89. }