dbstyle.css 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103
  1. body {
  2. font-family: Verdana, Arial, Helvetica, sans-serif;
  3. font-size:10pt;
  4. #line-height:1.5em;
  5. color:#232D30;
  6. }
  7. /* LINKS */
  8. :link { text-decoration:none; color:#0088B5; } /* for unvisited links */
  9. a:active { text-decoration:none; color:#0088B5; } /* when link is clicked */
  10. a:hover { text-decoration:underline; color:#0088B5; } /* when mouse is over link */
  11. :visited { text-decoration:none; color:#0088B5; } /* for visited links */
  12. :visited:hover { text-decoration:underline; color:#0088B5; } /* when mouse is over link */
  13. h1, h2, h3, h4, h5 {
  14. font-family: Arial, serif;
  15. }
  16. h2 {
  17. font-size: 11pt;
  18. }
  19. h3, h4, h5 {
  20. font-size: 1em;
  21. margin: 0.2em;
  22. }
  23. .code {
  24. font-family: "Courier New", Courier, monospace;
  25. font-size: 9pt;
  26. }
  27. .programlisting {
  28. font-family: "Courier New", Courier, monospace;
  29. font-size: 9pt;
  30. font-weight: normal;
  31. background-color: #E6F7FF;
  32. border: 1px dashed #0099CC;
  33. }
  34. div.note, div.warning, div.tip {
  35. margin-left: 0.3in;
  36. margin-right: 0.5in;
  37. border: 1px dashed #FF6633;
  38. background-color: #FFFAEE;
  39. padding: 0.1in;
  40. }
  41. div.note img, div.warning img, div.tip img {
  42. margin-right: 0.1in;
  43. #border: 1px solid #FF6633;
  44. }
  45. pre.programlisting {
  46. font-family: "Courier New", Courier, monospace;
  47. font-size: 9pt;
  48. font-weight: normal;
  49. background-color: #F0FAFF;
  50. border: 1px dashed #0099CC;
  51. padding: 0.1in;
  52. margin: 0.2in;
  53. clear: right;
  54. }
  55. pre.screen {
  56. border: solid 1px #777;
  57. background-color: #ddd;
  58. padding: 0.1in;
  59. margin: 0.2in;
  60. clear: right;
  61. }
  62. div.variablelist dl dt span.term {
  63. font-weight: bold;
  64. }
  65. hr { display: none; }
  66. div.navheader {
  67. padding-bottom: 0.1in;
  68. border-bottom: solid 1px black;
  69. border-color: #aaa;
  70. }
  71. div.navfooter {
  72. margin-top: 0.1in;
  73. border-top: solid 1px black;
  74. border-color: #aaa;
  75. padding-top: 0.1in;
  76. }
  77. div.figure-float {
  78. float: right;
  79. margin-left: 2em;
  80. margin-bottom: 2em;
  81. }
  82. div.revinfo {
  83. text-align: center;
  84. font-size: 0.7em;
  85. font-style: italic;
  86. }
  87. code.code {
  88. font-family: "Lucida Console", monospace;
  89. }