dbstyle.css 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182
  1. body {
  2. font-family: Tahoma, Arial, sans-serif;
  3. direction: rtl;
  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. div.note, div.warning, div.tip {
  16. margin-left: 0.3in;
  17. margin-right: 0.5in;
  18. border: solid 1px blue;
  19. background-color: #e0e0e0;
  20. padding: 0.1in;
  21. }
  22. div.note img, div.warning img, div.tip img {
  23. margin-right: 0.1in;
  24. border: solid 1px blue;
  25. }
  26. pre.programlisting {
  27. border: solid 1px #444;
  28. background-color: #e0e0e0;
  29. padding: 0.1in;
  30. margin: 0.2in;
  31. clear: right;
  32. direction: ltr;
  33. }
  34. pre.screen {
  35. border: solid 1px #777;
  36. background-color: #ddd;
  37. padding: 0.1in;
  38. margin: 0.2in;
  39. clear: right;
  40. }
  41. div.variablelist dl dt span.term {
  42. font-weight: bold;
  43. }
  44. hr { display: none; }
  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. }
  69. p { text-align: right;}