style.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152
  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. .toc ul {
  65. margin: 0; list-style-type: none;
  66. }
  67. hr {
  68. margin-top: 3ex;
  69. margin-bottom: 3ex;
  70. width: 50%;
  71. }
  72. .note {
  73. margin-top: 10ex;
  74. text-align: center;
  75. font-size: x-small;
  76. clear: both;
  77. }
  78. h1 {
  79. font-size: x-large;
  80. margin-top: 2ex;
  81. color: black;
  82. margin-left: 2%;
  83. margin-right: 2%;
  84. }
  85. h2 {
  86. font-size: large;
  87. margin-left: 5%;
  88. margin-right: 5%;
  89. }
  90. p {
  91. margin-left: 5%;
  92. margin-right: 5%;
  93. }
  94. ul {
  95. margin-left: 5%;
  96. margin-right: 5%;
  97. }
  98. li {
  99. margin-left: 3%;
  100. margin-top: 0.5ex;
  101. margin-bottom: 0.5ex;
  102. }
  103. tt {
  104. padding-left: 0.5ex;
  105. padding-right: 0.5ex;
  106. background: #dddddd;
  107. }
  108. #rgb {
  109. width: 33%;
  110. margin: 3ex auto;
  111. }
  112. .button {
  113. color: white;
  114. font-weight: bold;
  115. font-size: x-large;
  116. text-decoration: none;
  117. text-align: center;
  118. display: block;
  119. padding: 2ex;
  120. border-radius: 10px;
  121. -moz-border-radius: 10px;
  122. }
  123. #r {
  124. background-color: #884444;
  125. border: 2px solid #880000;
  126. }
  127. #g {
  128. background-color: #448844;
  129. border: 2px solid #006600;
  130. }
  131. #b {
  132. background-color: #444488;
  133. border: 2px solid #000088;
  134. }
  135. #y {
  136. background-color: #888844;
  137. border: 2px solid #666600;
  138. }
  139. #main-homepage {
  140. background-color: #848;
  141. border: 2px solid #808;
  142. }
  143. #main-support {
  144. background-color: #448888;
  145. border: 2px solid #008888;
  146. }
  147. .all-versions {
  148. float: left;
  149. }