extra_stylesheet.css 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178
  1. /* wxWidgets Custom Styles */
  2. html, body {
  3. margin: 0;
  4. padding: 0;
  5. height: 100%;
  6. }
  7. #page_container {
  8. position: relative;
  9. margin: 0;
  10. padding: 0;
  11. height: auto !important;
  12. height: 100%;
  13. min-height: 100%;
  14. }
  15. div.contents, div.searchresults {
  16. margin-top: 10px;
  17. margin-right: 12px;
  18. padding-bottom: 70px;
  19. }
  20. #projectlogo {
  21. text-align: left;
  22. padding: 0.5em;
  23. }
  24. #projectnumber {
  25. font: 120% Tahoma, Arial, sans-serif;
  26. text-align: right;
  27. padding: 0.5em 1em;
  28. }
  29. .tabs {
  30. font-size: 14px;
  31. }
  32. .tabs2, .tabs3 {
  33. font-size: 12px;
  34. }
  35. .navpath ul {
  36. font-size: 12px;
  37. }
  38. h1, h2, h3, h4, h5, h6 {
  39. color: #002D88;
  40. font-weight: normal;
  41. margin-top: 1em;
  42. margin-bottom: 0.5em;
  43. padding-top: 8px;
  44. padding-bottom: 4px;
  45. width: 100%;
  46. }
  47. h1 {
  48. font-size: 150%;
  49. border-bottom: 1px solid #3276FF;
  50. }
  51. h2 {
  52. font-size: 135%;
  53. margin-top: 0.75em;
  54. }
  55. h3 {
  56. font-size: 120%;
  57. margin-top: 0.5em;
  58. }
  59. h4 {
  60. font-size: 100%;
  61. margin-top: 0.5em;
  62. }
  63. div.headertitle h1 {
  64. margin: 10px 2px;
  65. border: none;
  66. padding: 0;
  67. width: auto;
  68. color: black;
  69. font-weight: bold;
  70. }
  71. div.toc h3 {
  72. font-size: 14px;
  73. }
  74. div.toc li {
  75. font-size: 12px;
  76. line-height: 1.3;
  77. padding-left: 14px;
  78. }
  79. img.logo {
  80. float: right;
  81. margin: 20px;
  82. }
  83. div.logo {
  84. float: right;
  85. margin: 20px;
  86. }
  87. div.appearance {
  88. margin: 1em 0em;
  89. }
  90. div.appearance table {
  91. margin: 0.5em 0em;
  92. width: 100%;
  93. text-align: center;
  94. }
  95. div.appearance img {
  96. margin: 0.5em;
  97. }
  98. div.appearance .caption {
  99. font-style: italic;
  100. font-weight: normal;
  101. font-size: 90%;
  102. }
  103. td.green { color: green; }
  104. td.orange { color: #ff8000; }
  105. td.red { color: red; }
  106. span.literal {
  107. text-decoration: none;
  108. font-weight: bold;
  109. font-family: monospace, fixed;
  110. }
  111. /* we make all the following <span> tags render the text just like
  112. the standard Doxygen @remarks, @see tags do, to obtain a uniform
  113. look and feel */
  114. span.itemdef, span.lib, span.category, span.stdobj, span.styles,
  115. span.events, span.flags, span.appearance, span.impl, span.avail {
  116. font-weight: bold;
  117. line-height: 130%;
  118. }
  119. span.style, span.event, span.flag {
  120. font-weight: bold;
  121. color: #880000;
  122. }
  123. div.styleDesc, div.eventDesc, div.flagDesc {
  124. margin-left: 3%;
  125. margin-bottom: 1ex;
  126. }
  127. div.eventHandler {
  128. margin: 1em;
  129. text-indent: 3%;
  130. }
  131. div.eventHandler span {
  132. padding: 5px;
  133. background-color: #eeeeee;
  134. font-family: monospace, fixed;
  135. }
  136. code {
  137. font-size: 110%;
  138. color: #444444;
  139. }
  140. address.footer {
  141. position: absolute;
  142. bottom: 0;
  143. margin: 0;
  144. padding: 10px 0;
  145. width: 100%;
  146. border-top: 1px solid #0043CC;
  147. background-image: url('nav_h.png');
  148. background-repeat: repeat-x;
  149. background-color: #F4F8FF;
  150. }
  151. address.footer small {
  152. padding: 0 10px;
  153. }