blue.css 2.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. html, body { font:"lucida", sans-serif; color:#000; background:#fefefe }
  2. h1 { font-weight:bold; font-size:x-large; border-bottom:solid;
  3. margin-top:3ex; margin-bottom:3ex; }
  4. h1 a { text-decoration:none; color:#000; }
  5. h1 a:hover { background:#ddd; }
  6. h2 { font-weight:bold; font-size:larger;
  7. color:#fff; background:#27b; padding:0.7ex; }
  8. h2 a { text-decoration:none; color:#fff; }
  9. h2 a:hover { background:#49c; }
  10. h3 { font-weight:bold; font-size:medium;
  11. color:#fff; background:#5af; padding:0.7ex; }
  12. h3 a { text-decoration:none; color:#fff; }
  13. p a.definition {
  14. font-weight:bold; font-size:larger;
  15. color:#fff; background:#27b; padding:0.7ex;
  16. text-decoration:none; display:block; margin-bottom:1ex;
  17. }
  18. p a.definition:hover { background:#49c; }
  19. a.alias { text-decoration:none; border-bottom: thin dashed; }
  20. a.near:link { color:#093; }
  21. a.near:visited { color:#550; }
  22. a.near:active { color:#0F0; }
  23. div.footer { border-top:solid; padding-top:2ex; margin-top:5ex;
  24. margin-bottom:1ex; }
  25. div.footer hr { display:none; }
  26. div.rc hr { display:none; }
  27. div.rc { margin-top:4ex; }
  28. div.old { background-color:#ffd; }
  29. div.new { background-color:#dfd; }
  30. div.diff { padding-left:2ex; padding-right:2ex; border-style:dashed;
  31. margin-left:5%; margin-right:5%; margin-bottom:5ex; }
  32. div.diff + hr { display: none }
  33. div.refer { padding-left:5%; padding-right:5%; font-size:smaller; }
  34. div.rss { background-color:#eef; }
  35. div.message { background-color:#fee; color:#f00; border:solid #f00;
  36. font-weight:bold; padding-left:1em; margin:1em; }
  37. div.sister { float:left; margin-right:1ex; background-color:#fff; }
  38. div.sister p { margin-top:0; border-top:solid; }
  39. div.sister hr { display:none; }
  40. div.near, div.definition { background-color:#efe; border-top:solid; }
  41. table.user { border-style:dotted; border-width:thin; padding:1ex;
  42. margin-bottom:1ex; width:90%; text-align:center; margin-left:5%; }
  43. table.user tr td { padding-left:1em; padding-right:1em; text-align:center; }
  44. dt { font-weight:bold; }
  45. li { margin-bottom:0.5ex; }
  46. img { border:0; }
  47. pre, img.upload {
  48. border: #777 1px solid; padding: 0.5em;
  49. margin-left: 1em; margin-right: 2em;
  50. white-space: pre;
  51. background-color: #e6e6e6; color: black; }
  52. img.logo {
  53. float:right; clear:right; background-color:#fff;
  54. border:#999 1px solid; padding:1ex; margin:1ex; }
  55. @media print {
  56. span.gotobar, span.specialdays, div.refer, div.footer, div.near,
  57. div.definition, div.sister { display:none }
  58. }