A copyright violation detector running on Wikimedia Cloud Services https://tools.wmflabs.org/copyvios/
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.

main.css 2.9 KiB

13 years ago
13 years ago
12 years ago
12 years ago
12 years ago
13 years ago
12 years ago
12 years ago
13 years ago
13 years ago
12 years ago
13 years ago
13 years ago
12 years ago
12 years ago
12 years ago
13 years ago
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145
  1. body {
  2. font-family: helvetica, arial, clean, sans-serif;
  3. font-size: 14px;
  4. color: #000;
  5. background-color: #000;
  6. background-attachment: fixed;
  7. margin: 0;
  8. }
  9. ul, ol {
  10. line-height: 1.5;
  11. }
  12. h1, h2, h3, h4, h5, h6 {
  13. margin-top: 0.20em;
  14. margin-bottom: 0.20em;
  15. }
  16. div#header {
  17. margin: 30px 60px 30px 60px;
  18. padding: 2px 15px 2px 15px;
  19. border: 1px solid #777;
  20. background-color: #FFF;
  21. }
  22. div#container {
  23. line-height: 1.25;
  24. margin: 0 60px 80px 60px;
  25. padding: 15px 15px 15px 15px;
  26. border: 1px solid #777;
  27. background-color: #FFF;
  28. }
  29. div#footer {
  30. position: fixed;
  31. width: 100%;
  32. height: 50px;
  33. bottom: 0;
  34. font-size: 12px;
  35. text-align: center;
  36. line-height: 1.5;
  37. background: #EEEEEE;
  38. background: -webkit-gradient(linear, 0% 0%, 0% 100%, from(#F7F7F7), to(#CCCCCC)); /* Chrome, Safari 4+ */
  39. background: -webkit-linear-gradient(top, #F7F7F7, #CCCCCC); /* Chrome 10+, Safari 5+ */
  40. background: -moz-linear-gradient(top, #F7F7F7, #CCCCCC); /* Firefox 3.6+ */
  41. background: -ms-linear-gradient(top, #F7F7F7, #CCCCCC); /* IE 10+ (lol) */
  42. background: -o-linear-gradient(top, #F7F7F7, #CCCCCC); /* Opera 11.10+ */
  43. background: linear-gradient(top, #F7F7F7, #CCCCCC);
  44. }
  45. div#foot-divider {
  46. border-bottom: 1px solid #777;
  47. }
  48. p#heading {
  49. font-size: 2.5em;
  50. font-weight: bold;
  51. margin: 8px 0 8px 0;
  52. }
  53. p#links {
  54. font-size: 1.5em;
  55. font-weight: bold;
  56. margin: 8px 0 10px 0;
  57. }
  58. table#footer-box {
  59. width: 100%;
  60. height: 100%;
  61. }
  62. div.toolbox {
  63. margin: 15px 0 15px 0;
  64. padding: 0 6px 0 6px;
  65. border: 1px solid #999;
  66. background-color: #F5F5F5;
  67. }
  68. div.divider {
  69. border-bottom: 1px solid #AAA;
  70. margin-top: 15px;
  71. margin-bottom: 15px;
  72. }
  73. div.green-box {
  74. padding: 0 10px 0 10px;
  75. margin: 0 5px 10px 5px;
  76. background-color: #EFE;
  77. border: 1px solid #7F7;
  78. }
  79. div.red-box {
  80. padding: 0 10px 0 10px;
  81. margin: 0 5px 10px 5px;
  82. background-color: #FEE;
  83. border: 1px solid #F77;
  84. }
  85. div.indentable {
  86. white-space: pre-wrap;
  87. }
  88. p.toolname {
  89. font-size: 18px;
  90. margin: 6px 0 6px 0;
  91. background-color: #E7E7E7;
  92. }
  93. p.tooldesc {
  94. margin: 6px 0 6px 0;
  95. }
  96. span.offline {
  97. color: #900;
  98. font-weight: bold;
  99. }
  100. span.online {
  101. color: #090;
  102. font-weight: bold;
  103. }
  104. span.light { color: #CCC; }
  105. span.medium { color: #AAA; }
  106. a:link { color: #373; text-decoration: none; }
  107. a:visited { color: #373; text-decoration: none; }
  108. a:hover { color: #040; text-decoration: underline; }
  109. a:active { color: #404; text-decoration: underline; }
  110. a.black:link { color: #000; }
  111. a.black:visited { color: #000; }
  112. a.black:hover { color: #000; }
  113. a.black:active { color: #000; }
  114. a.dark:link { color: #777; }
  115. a.dark:visited { color: #777; }
  116. a.dark:hover { color: #777; }
  117. a.dark:active { color: #333; }
  118. a.mid:link { color: #AAA; }
  119. a.mid:visited { color: #AAA; }
  120. a.mid:hover { color: #888; }
  121. a.mid:active { color: #666; }