bzip.css 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374
  1. /* Colours:
  2. #74240f dark brown h1, h2, h3, h4
  3. #336699 medium blue links
  4. #339999 turquoise link hover colour
  5. #202020 almost black general text
  6. #761596 purple md5sum text
  7. #626262 dark gray pre border
  8. #eeeeee very light gray pre background
  9. #f2f2f9 very light blue nav table background
  10. #3366cc medium blue nav table border
  11. */
  12. a, a:link, a:visited, a:active { color: #336699; }
  13. a:hover { color: #339999; }
  14. body { font: 80%/126% sans-serif; }
  15. h1, h2, h3, h4 { color: #74240f; }
  16. dt { color: #336699; font-weight: bold }
  17. dd {
  18. margin-left: 1.5em;
  19. padding-bottom: 0.8em;
  20. }
  21. /* -- ruler -- */
  22. div.hr_blue {
  23. height: 3px;
  24. background:#ffffff url("/images/hr_blue.png") repeat-x; }
  25. div.hr_blue hr { display:none; }
  26. /* release styles */
  27. #release p { margin-top: 0.4em; }
  28. #release .md5sum { color: #761596; }
  29. /* ------ styles for docs|manuals|howto ------ */
  30. /* -- lists -- */
  31. ul {
  32. margin: 0px 4px 16px 16px;
  33. padding: 0px;
  34. list-style: url("/images/li-blue.png");
  35. }
  36. ul li {
  37. margin-bottom: 10px;
  38. }
  39. ul ul {
  40. list-style-type: none;
  41. list-style-image: none;
  42. margin-left: 0px;
  43. }
  44. /* header / footer nav tables */
  45. table.nav {
  46. border: solid 1px #3366cc;
  47. background: #f2f2f9;
  48. background-color: #f2f2f9;
  49. margin-bottom: 0.5em;
  50. }
  51. /* don't have underlined links in chunked nav menus */
  52. table.nav a { text-decoration: none; }
  53. table.nav a:hover { text-decoration: underline; }
  54. table.nav td { font-size: 85%; }
  55. code, tt, pre { font-size: 120%; }
  56. code, tt { color: #761596; }
  57. div.literallayout, pre.programlisting, pre.screen {
  58. color: #000000;
  59. padding: 0.5em;
  60. background: #eeeeee;
  61. border: 1px solid #626262;
  62. background-color: #eeeeee;
  63. margin: 4px 0px 4px 0px;
  64. }