You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

130 lines
2.0 KiB

  1. body {
  2. font-family: sans-serif;
  3. margin-left: 10%;
  4. margin-right: 10%;
  5. margin-top: 2ex;
  6. margin-bottom: 3ex;
  7. background-color: white;
  8. color: black;
  9. /*background-color: #fff1db;*/
  10. background-color: white;
  11. /*
  12. background-image: url("gradient.png");
  13. background-repeat: repeat-x;
  14. */
  15. /*
  16. background-image: url("gradient2.png");
  17. background-repeat: repeat-y;
  18. */
  19. /*
  20. background-image: url("gradient3.png");
  21. background-repeat: repeat-x;
  22. */
  23. /*
  24. background-image: url("gradient4.png");
  25. background-repeat: repeat-y;
  26. */
  27. background-image: url("gradient5.png");
  28. background-repeat: repeat-x;
  29. }
  30. .heading {
  31. border: 0;
  32. color: black;
  33. font-size: xx-large;
  34. font-weight: bold;
  35. padding-bottom: 1ex;
  36. border-bottom: 1px solid black;
  37. margin-bottom: 2ex;
  38. width: 100%;
  39. }
  40. .heading tr {
  41. border: 0;
  42. }
  43. .heading td {
  44. border: 0;
  45. }
  46. .heading a {
  47. text-decoration: none;
  48. color: black;
  49. }
  50. .title {
  51. text-align: left;
  52. }
  53. .subtitle {
  54. text-align: right;
  55. }
  56. .toc {
  57. padding-left: 2ex;
  58. border: 1px solid #aaaaaa;
  59. background-color: white;
  60. padding-bottom: 1ex;
  61. border-radius: 10px;
  62. -moz-border-radius: 10px;
  63. }
  64. hr {
  65. margin-top: 3ex;
  66. margin-bottom: 3ex;
  67. width: 50%;
  68. }
  69. .note {
  70. margin-top: 10ex;
  71. text-align: center;
  72. font-size: x-small;
  73. }
  74. h1 {
  75. font-size: x-large;
  76. margin-top: 2ex;
  77. color: black;
  78. margin-left: 2%;
  79. margin-right: 2%;
  80. }
  81. h2 {
  82. font-size: large;
  83. margin-left: 5%;
  84. margin-right: 5%;
  85. }
  86. p {
  87. margin-left: 5%;
  88. margin-right: 5%;
  89. }
  90. ul {
  91. margin-left: 5%;
  92. margin-right: 5%;
  93. }
  94. li {
  95. margin-left: 3%;
  96. margin-top: 0.5ex;
  97. margin-bottom: 0.5ex;
  98. }
  99. tt {
  100. padding-left: 0.5ex;
  101. padding-right: 0.5ex;
  102. background: #dddddd;
  103. }
  104. #rgb {
  105. width: 33%;
  106. margin: 3ex auto;
  107. }
  108. .button {
  109. color: white;
  110. font-weight: bold;
  111. font-size: x-large;
  112. text-decoration: none;
  113. text-align: center;
  114. display: block;
  115. padding: 2ex;
  116. border-radius: 10px;
  117. -moz-border-radius: 10px;
  118. }
  119. #r {
  120. background-color: #884444;
  121. border: 2px solid #880000;
  122. }
  123. #g {
  124. background-color: #448844;
  125. border: 2px solid #006600;
  126. }
  127. #b {
  128. background-color: #444488;
  129. border: 2px solid #000088;
  130. }