dbstyle.css 1.2 KB

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