A copyright violation detector running on Wikimedia Cloud Services https://tools.wmflabs.org/copyvios/
No puede seleccionar más de 25 temas Los temas deben comenzar con una letra o número, pueden incluir guiones ('-') y pueden tener hasta 35 caracteres de largo.

main.css 2.9 KiB

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