customdoxygen.css 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254
  1. h1, .h1, h2, .h2, h3, .h3{
  2. font-weight: 200 !important;
  3. }
  4. #navrow1, #navrow2, #navrow3, #navrow4, #navrow5{
  5. border-bottom: 1px solid #EEEEEE;
  6. }
  7. .adjust-right {
  8. margin-left: 30px !important;
  9. font-size: 1.15em !important;
  10. }
  11. .navbar{
  12. border: 0px solid #222 !important;
  13. }
  14. /* Sticky footer styles
  15. -------------------------------------------------- */
  16. html,
  17. body {
  18. height: 100%;
  19. /* The html and body elements cannot have any padding or margin. */
  20. }
  21. /* Wrapper for page content to push down footer */
  22. #wrap {
  23. min-height: 100%;
  24. height: auto;
  25. /* Negative indent footer by its height */
  26. margin: 0 auto -60px;
  27. /* Pad bottom by footer height */
  28. padding: 0 0 60px;
  29. }
  30. /* Set the fixed height of the footer here */
  31. #footer {
  32. font-size: 0.9em;
  33. padding: 8px 0px;
  34. background-color: #f5f5f5;
  35. }
  36. .footer-row {
  37. line-height: 44px;
  38. }
  39. #footer > .container {
  40. padding-left: 15px;
  41. padding-right: 15px;
  42. }
  43. .footer-follow-icon {
  44. margin-left: 3px;
  45. text-decoration: none !important;
  46. }
  47. .footer-follow-icon img {
  48. width: 20px;
  49. }
  50. .footer-link {
  51. padding-top: 5px;
  52. display: inline-block;
  53. color: #999999;
  54. text-decoration: none;
  55. }
  56. .footer-copyright {
  57. text-align: center;
  58. }
  59. @media (min-width: 992px) {
  60. .footer-row {
  61. text-align: left;
  62. }
  63. .footer-icons {
  64. text-align: right;
  65. }
  66. }
  67. @media (max-width: 991px) {
  68. .footer-row {
  69. text-align: center;
  70. }
  71. .footer-icons {
  72. text-align: center;
  73. }
  74. }
  75. /* DOXYGEN Code Styles
  76. ----------------------------------- */
  77. a.qindex {
  78. font-weight: bold;
  79. }
  80. a.qindexHL {
  81. font-weight: bold;
  82. background-color: #9CAFD4;
  83. color: #ffffff;
  84. border: 1px double #869DCA;
  85. }
  86. .contents a.qindexHL:visited {
  87. color: #ffffff;
  88. }
  89. a.code, a.code:visited, a.line, a.line:visited {
  90. color: #4665A2;
  91. }
  92. a.codeRef, a.codeRef:visited, a.lineRef, a.lineRef:visited {
  93. color: #4665A2;
  94. }
  95. /* @end */
  96. dl.el {
  97. margin-left: -1cm;
  98. }
  99. pre.fragment {
  100. border: 1px solid #C4CFE5;
  101. background-color: #FBFCFD;
  102. padding: 4px 6px;
  103. margin: 4px 8px 4px 2px;
  104. overflow: auto;
  105. word-wrap: break-word;
  106. font-size: 9pt;
  107. line-height: 125%;
  108. font-family: monospace, fixed;
  109. font-size: 105%;
  110. }
  111. div.fragment {
  112. padding: 4px 6px;
  113. margin: 4px 8px 4px 2px;
  114. border: 1px solid #C4CFE5;
  115. }
  116. div.line {
  117. font-family: monospace, fixed;
  118. font-size: 13px;
  119. min-height: 13px;
  120. line-height: 1.0;
  121. text-wrap: unrestricted;
  122. white-space: -moz-pre-wrap; /* Moz */
  123. white-space: -pre-wrap; /* Opera 4-6 */
  124. white-space: -o-pre-wrap; /* Opera 7 */
  125. white-space: pre-wrap; /* CSS3 */
  126. word-wrap: break-word; /* IE 5.5+ */
  127. text-indent: -53px;
  128. padding-left: 53px;
  129. padding-bottom: 0px;
  130. margin: 0px;
  131. -webkit-transition-property: background-color, box-shadow;
  132. -webkit-transition-duration: 0.5s;
  133. -moz-transition-property: background-color, box-shadow;
  134. -moz-transition-duration: 0.5s;
  135. -ms-transition-property: background-color, box-shadow;
  136. -ms-transition-duration: 0.5s;
  137. -o-transition-property: background-color, box-shadow;
  138. -o-transition-duration: 0.5s;
  139. transition-property: background-color, box-shadow;
  140. transition-duration: 0.5s;
  141. }
  142. div.line.glow {
  143. background-color: cyan;
  144. box-shadow: 0 0 10px cyan;
  145. }
  146. span.lineno {
  147. padding-right: 4px;
  148. text-align: right;
  149. border-right: 2px solid #0F0;
  150. background-color: #E8E8E8;
  151. white-space: pre;
  152. }
  153. span.lineno a {
  154. background-color: #D8D8D8;
  155. }
  156. span.lineno a:hover {
  157. background-color: #C8C8C8;
  158. }
  159. div.groupHeader {
  160. margin-left: 16px;
  161. margin-top: 12px;
  162. font-weight: bold;
  163. }
  164. div.groupText {
  165. margin-left: 16px;
  166. font-style: italic;
  167. }
  168. /* @group Code Colorization */
  169. span.keyword {
  170. color: #008000
  171. }
  172. span.keywordtype {
  173. color: #604020
  174. }
  175. span.keywordflow {
  176. color: #e08000
  177. }
  178. span.comment {
  179. color: #800000
  180. }
  181. span.preprocessor {
  182. color: #806020
  183. }
  184. span.stringliteral {
  185. color: #002080
  186. }
  187. span.charliteral {
  188. color: #008080
  189. }
  190. span.vhdldigit {
  191. color: #ff00ff
  192. }
  193. span.vhdlchar {
  194. color: #000000
  195. }
  196. span.vhdlkeyword {
  197. color: #700070
  198. }
  199. span.vhdllogic {
  200. color: #ff0000
  201. }
  202. blockquote {
  203. background-color: #F7F8FB;
  204. border-left: 2px solid #9CAFD4;
  205. margin: 0 24px 0 4px;
  206. padding: 0 12px 0 16px;
  207. }