grey.css 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521
  1. body
  2. {
  3. background-color: #DDDDDD;
  4. font-family: sans-serif;
  5. padding: 0px;
  6. margin: 0px;
  7. }
  8. a
  9. {
  10. color: #ba102c;
  11. text-decoration: none;
  12. font-weight: bold;
  13. }
  14. a:hover
  15. {
  16. background-color: #eeeeee;
  17. }
  18. a:visited
  19. {
  20. color: #880011;
  21. }
  22. a.outside, a[class="url number"]
  23. {
  24. text-decoration:underline;
  25. }
  26. hr
  27. {
  28. display: none;
  29. }
  30. h1
  31. {
  32. color: #555555;
  33. font-size: xx-large;
  34. border-bottom: solid #555555;
  35. }
  36. h2
  37. {
  38. color: #555555;
  39. font-size: x-large;
  40. border-bottom: solid #555555;
  41. }
  42. h3
  43. {
  44. color: #555555;
  45. font-size: large;
  46. border-bottom: solid #555555;
  47. }
  48. h4
  49. {
  50. color: #555555;
  51. font-size: larger;
  52. border-bottom: dotted #555555 2px;
  53. }
  54. h5
  55. {
  56. color: #555555;
  57. font-size: larger;
  58. }
  59. h6
  60. {
  61. color: #555555;
  62. font-size: larger;
  63. }
  64. div.header
  65. {
  66. background-color: #777777;
  67. padding: 0px;
  68. }
  69. div.header span.gotobar
  70. {
  71. background-color: #bbbbbb;
  72. padding: 3px;
  73. }
  74. div.header a.local
  75. {
  76. text-decoration: none;
  77. font-weight: bold;
  78. color: #ba102c;
  79. padding: 1px;
  80. }
  81. div.header a.local:hover
  82. {
  83. background-color: #dddddd;
  84. }
  85. div.header h1
  86. {
  87. background-color: #bbbbbb;
  88. padding: 5px;
  89. border-bottom: 3px dotted #555555;
  90. }
  91. div.header h1 a
  92. {
  93. text-decoration: none;
  94. font-weight: bold;
  95. /* color: #ba102c; */
  96. color: #555555;
  97. clear: right;
  98. }
  99. div.header h1 a:hover
  100. {
  101. color: #990000;
  102. background-color: #bbbbbb;
  103. }
  104. img
  105. {
  106. border: 0;
  107. }
  108. img.logo
  109. {
  110. float: right;
  111. margin: 1ex;
  112. border: 2px solid black;
  113. }
  114. div.header .message
  115. {
  116. background-color: #cccccc;
  117. border: 1px dashed #000000;
  118. margin: 15px;
  119. padding: 5px;
  120. }
  121. div.footer
  122. {
  123. background-color: #aaaaaa;
  124. padding: 10px;
  125. border-top: 3px solid black;
  126. border-bottom: 3px solid black;
  127. }
  128. div.footer hr
  129. {
  130. display:none;
  131. }
  132. div.footer a.local, div.footer a.edit,
  133. div.footer a.history, div.footer a.author,
  134. div.footer a.diff, div.footer a.rc
  135. {
  136. text-decoration: none;
  137. font-weight: bold;
  138. color: #ba102c;
  139. padding: 1px;
  140. border: 1px;
  141. }
  142. div.footer a:hover
  143. {
  144. background-color: #cccccc;
  145. }
  146. div.content, div.rc
  147. {
  148. padding: 1em;
  149. }
  150. div.content hr
  151. {
  152. color: #555555;
  153. background-color: #555555;
  154. border: none;
  155. height: 2px;
  156. display: block;
  157. }
  158. div.rc hr
  159. {
  160. display: none;
  161. }
  162. pre
  163. {
  164. background-color: #eeeeee;
  165. border: 2px solid black;
  166. padding: 1em;
  167. }
  168. body > form
  169. {
  170. margin: 0 2em;
  171. }
  172. div.comment
  173. {
  174. margin: 0 2em;
  175. }
  176. textarea
  177. {
  178. background-color: #eeeeee;
  179. border: 2px solid #555555;
  180. width: 100%;
  181. height: 80%;
  182. }
  183. textarea:focus
  184. {
  185. background-color: #ffffff;
  186. }
  187. input[type="text"], input[type="password"]
  188. {
  189. color: black;
  190. background-color: #eeeeee;
  191. border: 2px solid #555555;
  192. padding: 3px;
  193. font-weight: bold;
  194. }
  195. input[type="text"]:focus, input[type="password"]:focus
  196. {
  197. background-color: #ffffff;
  198. }
  199. input[type="submit"]
  200. {
  201. color: #aa0000;
  202. font-weight: bold;
  203. border: 2px solid #555555;
  204. padding: 1px;
  205. text-decoration: none;
  206. background-color: #eeeeee;
  207. }
  208. input[type="submit"]:hover, input[type="submit"]:focus
  209. {
  210. background-color: #ffffff;
  211. }
  212. div.footer input[type="text"]
  213. {
  214. color: black;
  215. background-color: #cccccc;
  216. border: 2px solid #555555;
  217. padding: 3px;
  218. font-weight: bold;
  219. }
  220. div.footer input[type="text"]:focus
  221. {
  222. background-color: #eeeeee;
  223. }
  224. div.footer input[type="submit"]
  225. {
  226. color: #aa0000;
  227. font-weight: bold;
  228. border: 2px solid #555555;
  229. padding: 1px;
  230. text-decoration: none;
  231. background-color: #cccccc;
  232. }
  233. div.footer input[type="submit"]:hover, div.footer input[type="submit"]:focus
  234. {
  235. background-color: #eeeeee;
  236. }
  237. div.diff
  238. {
  239. padding: 1em;
  240. }
  241. div.diff hr
  242. {
  243. color: #555555;
  244. background-color: #555555;
  245. border: none;
  246. height: 2px;
  247. display: block;
  248. }
  249. div.old
  250. {
  251. background-color: #dddddd;
  252. border: 2px dashed #555555;
  253. padding: 1em;
  254. }
  255. div.new
  256. {
  257. padding: 1em;
  258. background-color: #eeeeee;
  259. border: 2px dashed #555555;
  260. }
  261. div.rss
  262. {
  263. background-color: #dddddd;
  264. /* border: 2px solid black; */
  265. padding: 1em;
  266. }
  267. img.upload
  268. {
  269. padding: 1em;
  270. }
  271. div.color
  272. {
  273. padding: 5px;
  274. border: 5px;
  275. }
  276. div.one
  277. {
  278. background-color: #d0bbbb;
  279. padding: 5px;
  280. margin: 5px;
  281. }
  282. div.two
  283. {
  284. background-color: #ccc0c0;
  285. padding: 5px;
  286. margin: 5px;
  287. } div.footer a.local, div.footer a.edit,
  288. div.footer a.history, div.footer a.author,
  289. div.footer a.diff, div.footer a.rc
  290. {
  291. text-decoration: none;
  292. font-weight: bold;
  293. color: #ba102c;
  294. padding: 1px;
  295. border: 1px;
  296. }
  297. div.footer a:hover
  298. {
  299. background-color: #cccccc;
  300. }
  301. div.content, div.rc
  302. {
  303. padding: 1em;
  304. }
  305. div.content hr
  306. {
  307. color: #555555;
  308. background-color: #555555;
  309. border: none;
  310. height: 2px;
  311. display: block;
  312. }
  313. div.rc hr
  314. {
  315. display: none;
  316. }
  317. pre
  318. {
  319. background-color: #eeeeee;
  320. border: 2px solid black;
  321. padding: 1em;
  322. }
  323. body > form
  324. {
  325. margin: 0 2em;
  326. }
  327. div.comment
  328. {
  329. margin: 0 2em;
  330. }
  331. textarea
  332. {
  333. background-color: #eeeeee;
  334. border: 2px solid #555555;
  335. width: 100%;
  336. height: 80%;
  337. }
  338. textarea:focus
  339. {
  340. background-color: #ffffff;
  341. }
  342. input[type="text"], input[type="password"]
  343. {
  344. color: black;
  345. background-color: #eeeeee;
  346. border: 2px solid #555555;
  347. padding: 3px;
  348. font-weight: bold;
  349. }
  350. input[type="text"]:focus, input[type="password"]:focus
  351. {
  352. background-color: #ffffff;
  353. }
  354. input[type="submit"]
  355. {
  356. color: #aa0000;
  357. font-weight: bold;
  358. border: 2px solid #555555;
  359. padding: 1px;
  360. text-decoration: none;
  361. background-color: #eeeeee;
  362. }
  363. input[type="submit"]:hover, input[type="submit"]:focus
  364. {
  365. background-color: #ffffff;
  366. }
  367. div.footer input[type="text"]
  368. {
  369. color: black;
  370. background-color: #cccccc;
  371. border: 2px solid #555555;
  372. padding: 3px;
  373. font-weight: bold;
  374. }
  375. div.footer input[type="text"]:focus
  376. {
  377. background-color: #eeeeee;
  378. }
  379. div.footer input[type="submit"]
  380. {
  381. color: #aa0000;
  382. font-weight: bold;
  383. border: 2px solid #555555;
  384. padding: 1px;
  385. text-decoration: none;
  386. background-color: #cccccc;
  387. }
  388. div.footer input[type="submit"]:hover, div.footer input[type="submit"]:focus
  389. {
  390. background-color: #eeeeee;
  391. }
  392. div.diff
  393. {
  394. padding: 1em;
  395. }
  396. div.diff hr
  397. {
  398. color: #555555;
  399. background-color: #555555;
  400. border: none;
  401. height: 2px;
  402. display: block;
  403. }
  404. div.old
  405. {
  406. background-color: #dddddd;
  407. border: 2px dashed #555555;
  408. padding: 1em;
  409. }
  410. div.new
  411. {
  412. padding: 1em;
  413. background-color: #eeeeee;
  414. border: 2px dashed #555555;
  415. }
  416. div.rss
  417. {
  418. background-color: #dddddd;
  419. /* border: 2px solid black; */
  420. padding: 1em;
  421. }
  422. img.upload
  423. {
  424. padding: 1em;
  425. }
  426. div.color
  427. {
  428. padding: 5px;
  429. border: 5px;
  430. }
  431. div.one
  432. {
  433. background-color: #d0bbbb;
  434. padding: 5px;
  435. margin: 5px;
  436. }
  437. div.two
  438. {
  439. background-color: #ccc0c0;
  440. padding: 5px;
  441. margin: 5px;
  442. }