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.

156 lines
2.4KB

  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. }
  77. h1 {
  78. font-size: x-large;
  79. margin-top: 2ex;
  80. color: black;
  81. margin-left: 2%;
  82. margin-right: 2%;
  83. }
  84. h2 {
  85. font-size: large;
  86. margin-left: 5%;
  87. margin-right: 5%;
  88. }
  89. p {
  90. margin-left: 5%;
  91. margin-right: 5%;
  92. }
  93. ul {
  94. margin-left: 5%;
  95. margin-right: 5%;
  96. }
  97. li {
  98. margin-left: 3%;
  99. margin-top: 0.5ex;
  100. margin-bottom: 0.5ex;
  101. }
  102. tt {
  103. padding-left: 0.5ex;
  104. padding-right: 0.5ex;
  105. background: #dddddd;
  106. }
  107. #rgb {
  108. width: 33%;
  109. margin: 3ex auto;
  110. }
  111. .button {
  112. color: white;
  113. font-weight: bold;
  114. font-size: x-large;
  115. text-decoration: none;
  116. text-align: center;
  117. display: block;
  118. padding: 2ex;
  119. border-radius: 10px;
  120. -moz-border-radius: 10px;
  121. }
  122. #r {
  123. background-color: #884444;
  124. border: 2px solid #880000;
  125. }
  126. #g {
  127. background-color: #448844;
  128. border: 2px solid #006600;
  129. }
  130. #b {
  131. background-color: #444488;
  132. border: 2px solid #000088;
  133. }
  134. #y {
  135. background-color: #888844;
  136. border: 2px solid #666600;
  137. }
  138. #main-support {
  139. background-color: #448888;
  140. border: 2px solid #008888;
  141. }
  142. code.commands {
  143. display:block;
  144. margin-top: 0.4em;
  145. padding: 0.7em;
  146. background: #ccc;
  147. background: rgba(200, 200, 200, 0.4);
  148. white-space: pre;
  149. }
  150. code.fingerprint {
  151. font-weight: bold;
  152. font-size: 140%;
  153. }