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.
 
 
 
 
 

146 lines
2.9 KiB

  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; }