dbstyle.css 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182
  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 {
  43. display: none;
  44. }
  45. div.navheader {
  46. padding-bottom: 0.1in;
  47. border-bottom: solid 1px black;
  48. border-color: #aaa;
  49. }
  50. div.navfooter {
  51. margin-top: 0.1in;
  52. border-top: solid 1px black;
  53. border-color: #aaa;
  54. padding-top: 0.1in;
  55. }
  56. div.figure-float {
  57. float: right;
  58. margin-left: 2em;
  59. margin-bottom: 2em;
  60. }
  61. div.revinfo {
  62. text-align: center;
  63. font-size: 0.7em;
  64. font-style: italic;
  65. }
  66. code.code {
  67. font-family: "Lucida Console", monospace;
  68. }