dbstyle.css 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. body {
  2. background: url("images/bkg_top.gif") repeat-x;
  3. font-family: Tahoma, Arial, sans-serif;
  4. }
  5. h1, h2, h3, h4, h5 {
  6. font-family: Arial, serif;
  7. }
  8. h2 {
  9. font-size: 1.3em;
  10. }
  11. h3, h4, h5 {
  12. font-size: 1em;
  13. margin: 0.2em;
  14. }
  15. a {
  16. color:#009EEB;
  17. }
  18. div.note, div.warning, div.tip {
  19. margin-left: 0.3in;
  20. margin-right: 0.5in;
  21. /*border: solid 1px green;*/
  22. background-color: #EEEEEE;
  23. padding: 0.1in;
  24. }
  25. div.note img, div.warning img, div.tip img {
  26. margin-right: 0.1in;
  27. /*border: solid 1px green;*/
  28. }
  29. pre.programlisting {
  30. border: 1px solid #D3E0EB;
  31. background-color: #EDF7FF;
  32. padding: 0.1in;
  33. margin: 0.2in;
  34. clear: right;
  35. }
  36. pre.screen {
  37. border: solid 1px #777;
  38. background-color: #ddd;
  39. padding: 0.1in;
  40. margin: 0.2in;
  41. clear: right;
  42. }
  43. div.variablelist dl dt span.term {
  44. font-weight: bold;
  45. }
  46. hr { display: none; }
  47. div.navheader {
  48. padding-bottom: 0.1in;
  49. border-bottom: solid 1px black;
  50. border-color: #aaa;
  51. }
  52. div.navfooter {
  53. margin-top: 0.1in;
  54. border-top: solid 1px black;
  55. border-color: #aaa;
  56. padding-top: 0.1in;
  57. }
  58. div.figure-float {
  59. float: right;
  60. margin-left: 2em;
  61. margin-bottom: 2em;
  62. }
  63. div.revinfo {
  64. text-align: center;
  65. font-size: 0.7em;
  66. font-style: italic;
  67. }
  68. code.code {
  69. font-family: "Lucida Console", monospace;
  70. }
  71. div.chapter > div.titlepage {
  72. background: url("./images/logo_small.gif") no-repeat;
  73. padding-left: 125px;
  74. }