A copyright violation detector running on Wikimedia Cloud Services https://tools.wmflabs.org/copyvios/
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。

style.css 5.1 KiB

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