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.
 
 
 
 
 

233 lines
4.6 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. bottom: 0;
  33. font-size: 0.85em;
  34. text-align: center;
  35. line-height: 1.5;
  36. background: #DDDDDD;
  37. }
  38. div#foot-divider {
  39. border-bottom: 1px solid #777;
  40. }
  41. div#cv-result-yes {
  42. padding: 5px 10px 0 10px;
  43. margin: 0 5px 10px 5px;
  44. background-color: #FEE;
  45. border: 1px solid #F77;
  46. }
  47. div#cv-result-no {
  48. padding: 5px 10px 0 10px;
  49. margin: 0 5px 10px 5px;
  50. background-color: #EFE;
  51. border: 1px solid #7F7;
  52. }
  53. div#cv-result-detail {
  54. padding: 0 10px 0 10px;
  55. margin: 10px 10px 20px 10px;
  56. background-color: #F3F3F3;
  57. border: 1px solid #AAA;
  58. }
  59. p#heading {
  60. font-size: 2.5em;
  61. font-weight: bold;
  62. margin: 8px 0 8px 0;
  63. }
  64. p#links {
  65. font-size: 1.5em;
  66. font-weight: bold;
  67. margin: 8px 0 10px 0;
  68. }
  69. table#cv-form {
  70. width: 750px;
  71. }
  72. table#cv-chain-table {
  73. width: 100%;
  74. border-spacing: 10px;
  75. }
  76. td#cv-col1 {
  77. width: 15%;
  78. }
  79. td#cv-col2 {
  80. width: 55%;
  81. }
  82. td#cv-col3 {
  83. width: 15%;
  84. text-align: center;
  85. }
  86. td#cv-col4 {
  87. width: 15%;
  88. }
  89. h2#cv-result-header {
  90. margin-bottom: 0;
  91. }
  92. ul#cv-result-list {
  93. margin-top: 0.5em;
  94. }
  95. ul#cv-result-detail-list {
  96. margin-bottom: 0;
  97. }
  98. a#cv-cached {
  99. position: relative;
  100. }
  101. a#cv-cached span {
  102. display: none;
  103. position: absolute;
  104. top: 20px;
  105. left: -50px;
  106. width: 500px;
  107. padding: 5px;
  108. z-index: 1;
  109. background: #F3F3F3;
  110. border: 1px solid #AAA;
  111. color: black;
  112. }
  113. div.toolbox {
  114. margin: 15px 0 15px 0;
  115. padding: 0 6px 0 6px;
  116. border: 1px solid #999;
  117. background-color: #F5F5F5;
  118. }
  119. div.divider {
  120. border-bottom: 1px solid #AAA;
  121. margin-top: 15px;
  122. margin-bottom: 15px;
  123. }
  124. div.green-box {
  125. padding: 0 10px 0 10px;
  126. margin: 0 5px 10px 5px;
  127. background-color: #EFE;
  128. border: 1px solid #7F7;
  129. }
  130. div.red-box {
  131. padding: 0 10px 0 10px;
  132. margin: 0 5px 10px 5px;
  133. background-color: #FEE;
  134. border: 1px solid #F77;
  135. }
  136. div.indentable {
  137. white-space: pre-wrap;
  138. }
  139. div.cv-chain-detail {
  140. padding: 0 10px 0 10px;
  141. background-color: #FFF;
  142. border: 1px solid #BBB;
  143. }
  144. td.cv-chain-cell {
  145. width: 50%;
  146. vertical-align: top;
  147. }
  148. input.cv-text {
  149. width: 100%;
  150. }
  151. span.cv-hl {
  152. background: #FAA;
  153. }
  154. span.cv-hl-in {
  155. background: #FCC;
  156. background: -webkit-gradient(linear, 0% 0%, 100% 0%, from(#FFF), to(#FAA)); /* Chrome, Safari 4+ */
  157. background: -webkit-linear-gradient(left, #FFF, #FAA); /* Chrome 10+, Safari 5+ */
  158. background: -moz-linear-gradient(left, #FFF, #FAA); /* Firefox 3.6+ */
  159. background: -ms-linear-gradient(left, #FFF, #FAA); /* IE 10+ */
  160. background: -o-linear-gradient(left, #FFF, #FAA); /* Opera 11.10+ */
  161. background: linear-gradient(left, #FFF, #FAA);
  162. }
  163. span.cv-hl-out {
  164. background: #FCC;
  165. background: -webkit-gradient(linear, 0% 0%, 100% 0%, from(#FAA), to(#FFF)); /* Chrome, Safari 4+ */
  166. background: -webkit-linear-gradient(left, #FAA, #FFF); /* Chrome 10+, Safari 5+ */
  167. background: -moz-linear-gradient(left, #FAA, #FFF); /* Firefox 3.6+ */
  168. background: -ms-linear-gradient(left, #FAA, #FFF); /* IE 10+ */
  169. background: -o-linear-gradient(left, #FAA, #FFF); /* Opera 11.10+ */
  170. background: linear-gradient(left, #FAA, #FFF);
  171. }
  172. span.mono { font-family: monospace; }
  173. span.light { color: #CCC; }
  174. span.medium { color: #AAA; }
  175. a:link { color: #373; text-decoration: none; }
  176. a:visited { color: #373; text-decoration: none; }
  177. a:hover { color: #040; text-decoration: underline; }
  178. a:active { color: #404; text-decoration: underline; }
  179. a.black:link { color: #000; }
  180. a.black:visited { color: #000; }
  181. a.black:hover { color: #000; }
  182. a.black:active { color: #000; }
  183. a.dark:link { color: #777; }
  184. a.dark:visited { color: #777; }
  185. a.dark:hover { color: #777; }
  186. a.dark:active { color: #333; }
  187. a.mid:link { color: #AAA; }
  188. a.mid:visited { color: #AAA; }
  189. a.mid:hover { color: #888; }
  190. a.mid:active { color: #666; }
  191. a:active#cv-cached { color: #040; text-decoration: none; }
  192. a:hover#cv-cached { text-decoration: none; }
  193. a:hover#cv-cached span { display: block; }