doxygen.css 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348
  1. pre.fragment {
  2. padding: 4px 6px;
  3. margin: 4px 8px 4px 2px;
  4. overflow: auto;
  5. word-wrap: break-word;
  6. font-size: 9pt;
  7. line-height: 125%;
  8. font-family: monospace, fixed;
  9. font-size: 105%;
  10. }
  11. div.fragment {
  12. padding: 4px;
  13. margin: 4px;
  14. }
  15. div.line {
  16. font-family: monospace, fixed;
  17. font-size: 13px;
  18. min-height: 13px;
  19. line-height: 1.0;
  20. text-wrap: unrestricted;
  21. white-space: -moz-pre-wrap; /* Moz */
  22. white-space: -pre-wrap; /* Opera 4-6 */
  23. white-space: -o-pre-wrap; /* Opera 7 */
  24. white-space: pre-wrap; /* CSS3 */
  25. word-wrap: break-word; /* IE 5.5+ */
  26. text-indent: -53px;
  27. padding-left: 53px;
  28. padding-bottom: 0px;
  29. margin: 0px;
  30. -webkit-transition-property: background-color, box-shadow;
  31. -webkit-transition-duration: 0.5s;
  32. -moz-transition-property: background-color, box-shadow;
  33. -moz-transition-duration: 0.5s;
  34. -ms-transition-property: background-color, box-shadow;
  35. -ms-transition-duration: 0.5s;
  36. -o-transition-property: background-color, box-shadow;
  37. -o-transition-duration: 0.5s;
  38. transition-property: background-color, box-shadow;
  39. transition-duration: 0.5s;
  40. }
  41. div.line.glow {
  42. background-color: cyan;
  43. box-shadow: 0 0 10px cyan;
  44. }
  45. span.lineno {
  46. padding-right: 4px;
  47. text-align: right;
  48. border-right: 2px solid #0F0;
  49. white-space: pre;
  50. }
  51. div.groupHeader {
  52. margin-left: 16px;
  53. margin-top: 12px;
  54. font-weight: bold;
  55. }
  56. div.groupText {
  57. margin-left: 16px;
  58. font-style: italic;
  59. }
  60. td.indexkey {
  61. background-color: #EBEFF6;
  62. font-weight: bold;
  63. border: 1px solid #C4CFE5;
  64. margin: 2px 0px 2px 0;
  65. padding: 2px 10px;
  66. white-space: nowrap;
  67. vertical-align: top;
  68. }
  69. td.indexvalue {
  70. background-color: #EBEFF6;
  71. border: 1px solid #C4CFE5;
  72. padding: 2px 10px;
  73. margin: 2px 0px;
  74. }
  75. tr.memlist {
  76. background-color: #EEF1F7;
  77. }
  78. p.formulaDsp {
  79. text-align: center;
  80. }
  81. img.formulaDsp {
  82. }
  83. img.formulaInl {
  84. vertical-align: middle;
  85. }
  86. div.center {
  87. text-align: center;
  88. margin-top: 0px;
  89. margin-bottom: 0px;
  90. padding: 0px;
  91. }
  92. div.center img {
  93. border: 0px;
  94. }
  95. address.footer {
  96. text-align: right;
  97. padding-right: 12px;
  98. }
  99. img.footer {
  100. border: 0px;
  101. vertical-align: middle;
  102. }
  103. /* @group Code Colorization */
  104. span.keyword {
  105. color: #008000
  106. }
  107. span.keywordtype {
  108. color: #604020
  109. }
  110. span.keywordflow {
  111. color: #e08000
  112. }
  113. span.comment {
  114. color: #800000
  115. }
  116. span.preprocessor {
  117. color: #806020
  118. }
  119. span.stringliteral {
  120. color: #002080
  121. }
  122. span.charliteral {
  123. color: #008080
  124. }
  125. span.vhdldigit {
  126. color: #ff00ff
  127. }
  128. span.vhdlchar {
  129. color: #000000
  130. }
  131. span.vhdlkeyword {
  132. color: #700070
  133. }
  134. span.vhdllogic {
  135. color: #ff0000
  136. }
  137. blockquote {
  138. background-color: ##F8;
  139. border-left: 2px solid ##AA;
  140. margin: 0 24px 0 4px;
  141. padding: 0 12px 0 16px;
  142. }
  143. /* @end */
  144. /* tooltip related style info */
  145. .ttc {
  146. position: absolute;
  147. display: none;
  148. }
  149. #powerTip {
  150. cursor: default;
  151. white-space: nowrap;
  152. background-color: white;
  153. border: 1px solid gray;
  154. border-radius: 4px 4px 4px 4px;
  155. box-shadow: 1px 1px 7px gray;
  156. display: none;
  157. font-size: smaller;
  158. max-width: 80%;
  159. opacity: 0.9;
  160. padding: 1ex 1em 1em;
  161. position: absolute;
  162. z-index: 2147483647;
  163. }
  164. #powerTip div.ttdoc {
  165. color: grey;
  166. font-style: italic;
  167. }
  168. #powerTip div.ttname a {
  169. font-weight: bold;
  170. }
  171. #powerTip div.ttname {
  172. font-weight: bold;
  173. }
  174. #powerTip div.ttdeci {
  175. color: #006318;
  176. }
  177. #powerTip div {
  178. margin: 0px;
  179. padding: 0px;
  180. font: 12px/16px Roboto,sans-serif;
  181. }
  182. #powerTip:before, #powerTip:after {
  183. content: "";
  184. position: absolute;
  185. margin: 0px;
  186. }
  187. #powerTip.n:after, #powerTip.n:before,
  188. #powerTip.s:after, #powerTip.s:before,
  189. #powerTip.w:after, #powerTip.w:before,
  190. #powerTip.e:after, #powerTip.e:before,
  191. #powerTip.ne:after, #powerTip.ne:before,
  192. #powerTip.se:after, #powerTip.se:before,
  193. #powerTip.nw:after, #powerTip.nw:before,
  194. #powerTip.sw:after, #powerTip.sw:before {
  195. border: solid transparent;
  196. content: " ";
  197. height: 0;
  198. width: 0;
  199. position: absolute;
  200. }
  201. #powerTip.n:after, #powerTip.s:after,
  202. #powerTip.w:after, #powerTip.e:after,
  203. #powerTip.nw:after, #powerTip.ne:after,
  204. #powerTip.sw:after, #powerTip.se:after {
  205. border-color: rgba(255, 255, 255, 0);
  206. }
  207. #powerTip.n:before, #powerTip.s:before,
  208. #powerTip.w:before, #powerTip.e:before,
  209. #powerTip.nw:before, #powerTip.ne:before,
  210. #powerTip.sw:before, #powerTip.se:before {
  211. border-color: rgba(128, 128, 128, 0);
  212. }
  213. #powerTip.n:after, #powerTip.n:before,
  214. #powerTip.ne:after, #powerTip.ne:before,
  215. #powerTip.nw:after, #powerTip.nw:before {
  216. top: 100%;
  217. }
  218. #powerTip.n:after, #powerTip.ne:after, #powerTip.nw:after {
  219. border-top-color: #ffffff;
  220. border-width: 10px;
  221. margin: 0px -10px;
  222. }
  223. #powerTip.n:before {
  224. border-top-color: #808080;
  225. border-width: 11px;
  226. margin: 0px -11px;
  227. }
  228. #powerTip.n:after, #powerTip.n:before {
  229. left: 50%;
  230. }
  231. #powerTip.nw:after, #powerTip.nw:before {
  232. right: 14px;
  233. }
  234. #powerTip.ne:after, #powerTip.ne:before {
  235. left: 14px;
  236. }
  237. #powerTip.s:after, #powerTip.s:before,
  238. #powerTip.se:after, #powerTip.se:before,
  239. #powerTip.sw:after, #powerTip.sw:before {
  240. bottom: 100%;
  241. }
  242. #powerTip.s:after, #powerTip.se:after, #powerTip.sw:after {
  243. border-bottom-color: #ffffff;
  244. border-width: 10px;
  245. margin: 0px -10px;
  246. }
  247. #powerTip.s:before, #powerTip.se:before, #powerTip.sw:before {
  248. border-bottom-color: #808080;
  249. border-width: 11px;
  250. margin: 0px -11px;
  251. }
  252. #powerTip.s:after, #powerTip.s:before {
  253. left: 50%;
  254. }
  255. #powerTip.sw:after, #powerTip.sw:before {
  256. right: 14px;
  257. }
  258. #powerTip.se:after, #powerTip.se:before {
  259. left: 14px;
  260. }
  261. #powerTip.e:after, #powerTip.e:before {
  262. left: 100%;
  263. }
  264. #powerTip.e:after {
  265. border-left-color: #ffffff;
  266. border-width: 10px;
  267. top: 50%;
  268. margin-top: -10px;
  269. }
  270. #powerTip.e:before {
  271. border-left-color: #808080;
  272. border-width: 11px;
  273. top: 50%;
  274. margin-top: -11px;
  275. }
  276. #powerTip.w:after, #powerTip.w:before {
  277. right: 100%;
  278. }
  279. #powerTip.w:after {
  280. border-right-color: #ffffff;
  281. border-width: 10px;
  282. top: 50%;
  283. margin-top: -10px;
  284. }
  285. #powerTip.w:before {
  286. border-right-color: #808080;
  287. border-width: 11px;
  288. top: 50%;
  289. margin-top: -11px;
  290. }