doxygen.css 55 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607
  1. /* The standard CSS for doxygen 1.18.0*/
  2. html {
  3. /* page base colors */
  4. --page-background-color: white;
  5. --page-foreground-color: black;
  6. --page-link-color: #3D578C;
  7. --page-visited-link-color: #3D578C;
  8. --page-external-link-color: #334975;
  9. /* index */
  10. --index-odd-item-bg-color: #F8F9FC;
  11. --index-even-item-bg-color: white;
  12. --index-header-color: black;
  13. --index-separator-color: #A0A0A0;
  14. /* header */
  15. --header-background-color: #F9FAFC;
  16. --header-separator-color: #C4CFE5;
  17. --group-header-separator-color: #D9E0EE;
  18. --group-header-color: #354C7B;
  19. --footer-foreground-color: #2A3D61;
  20. --footer-logo-width: 75px;
  21. --citation-label-color: #334975;
  22. --glow-color: cyan;
  23. --title-background-color: white;
  24. --title-separator-color: #C4CFE5;
  25. --blockquote-background-color: #F7F8FB;
  26. --blockquote-border-color: #9CAFD4;
  27. --scrollbar-thumb-color: #C4CFE5;
  28. --scrollbar-background-color: #F9FAFC;
  29. --icon-background-color: #728DC1;
  30. --icon-foreground-color: white;
  31. --icon-folder-open-fill-color: #C4CFE5;
  32. --icon-folder-fill-color: #D8DFEE;
  33. --icon-folder-border-color: #4665A2;
  34. --icon-doc-fill-color: #D8DFEE;
  35. --icon-doc-border-color: #4665A2;
  36. /* brief member declaration list */
  37. --memdecl-background-color: #F9FAFC;
  38. --memdecl-foreground-color: #555;
  39. --memdecl-template-color: #4665A2;
  40. --memdecl-border-color: #D5DDEC;
  41. /* detailed member list */
  42. --memdef-border-color: #A8B8D9;
  43. --memdef-title-background-color: #E2E8F2;
  44. --memdef-proto-background-color: #EEF1F7;
  45. --memdef-proto-text-color: #253555;
  46. --memdef-param-name-color: #602020;
  47. --memdef-template-color: #4665A2;
  48. /* tables */
  49. --table-cell-border-color: #2D4068;
  50. --table-header-background-color: #374F7F;
  51. --table-header-foreground-color: #FFFFFF;
  52. /* labels */
  53. --label-background-color: #728DC1;
  54. --label-left-top-border-color: #5373B4;
  55. --label-right-bottom-border-color: #C4CFE5;
  56. --label-foreground-color: white;
  57. /** navigation bar/tree/menu */
  58. --nav-background-color: #F9FAFC;
  59. --nav-foreground-color: #364D7C;
  60. --nav-border-color: #C4CFE5;
  61. --nav-breadcrumb-separator-color: #C4CFE5;
  62. --nav-breadcrumb-active-bg: #EEF1F7;
  63. --nav-breadcrumb-color: #354C7B;
  64. --nav-splitbar-bg-color: #DCE2EF;
  65. --nav-splitbar-handle-color: #9CAFD4;
  66. --nav-font-size-level1: 13px;
  67. --nav-font-size-level2: 10px;
  68. --nav-font-size-level3: 9px;
  69. --nav-text-normal-color: #283A5D;
  70. --nav-menu-button-color: #364D7C;
  71. --nav-menu-background-color: white;
  72. --nav-menu-foreground-color: #555555;
  73. --nav-menu-active-bg: #DCE2EF;
  74. --nav-menu-active-color: #9CAFD4;
  75. --nav-arrow-color: #B6C4DF;
  76. --nav-arrow-selected-color: #90A5CE;
  77. /* sync icon */
  78. --sync-icon-border-color: #C4CFE5;
  79. --sync-icon-background-color: #F9FAFC;
  80. --sync-icon-selected-background-color: #EEF1F7;
  81. --sync-icon-color: #C4CFE5;
  82. --sync-icon-selected-color: #6884BD;
  83. /* table of contents */
  84. --toc-background-color: #F4F6FA;
  85. --toc-border-color: #D8DFEE;
  86. --toc-header-color: #4665A2;
  87. --toc-down-arrow-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' version='1.1' height='10px' width='5px' fill='grey'><text x='0' y='5' font-size='10'>&%238595;</text></svg>");
  88. /** search field */
  89. --search-background-color: white;
  90. --search-foreground-color: #909090;
  91. --search-active-color: black;
  92. --search-filter-background-color: rgba(255,255,255,.7);
  93. --search-filter-backdrop-filter: blur(4px);
  94. --search-filter-foreground-color: black;
  95. --search-filter-border-color: rgba(150,150,150,.4);
  96. --search-filter-highlight-text-color: white;
  97. --search-filter-highlight-bg-color: #3D578C;
  98. --search-results-foreground-color: #425E97;
  99. --search-results-background-color: rgba(255,255,255,.8);
  100. --search-results-backdrop-filter: blur(4px);
  101. --search-results-border-color: rgba(150,150,150,.4);
  102. --search-box-border-color: #B6C4DF;
  103. --search-close-icon-bg-color: #A0A0A0;
  104. --search-close-icon-fg-color: white;
  105. /** code fragments */
  106. --code-keyword-color: #008000;
  107. --code-type-keyword-color: #604020;
  108. --code-flow-keyword-color: #E08000;
  109. --code-comment-color: #800000;
  110. --code-preprocessor-color: #806020;
  111. --code-string-literal-color: #002080;
  112. --code-char-literal-color: #008080;
  113. --code-xml-cdata-color: black;
  114. --code-vhdl-digit-color: #FF00FF;
  115. --code-vhdl-char-color: #000000;
  116. --code-vhdl-keyword-color: #700070;
  117. --code-vhdl-logic-color: #FF0000;
  118. --fragment-foreground-color: black;
  119. --fragment-background-color: #FBFCFD;
  120. --fragment-border-color: #C4CFE5;
  121. --fragment-lineno-border-color: #00FF00;
  122. --fragment-lineno-background-color: #E8E8E8;
  123. --fragment-lineno-foreground-color: black;
  124. --fragment-lineno-link-fg-color: #4665A2;
  125. --fragment-lineno-link-bg-color: #D8D8D8;
  126. --fragment-lineno-link-hover-fg-color: #4665A2;
  127. --fragment-lineno-link-hover-bg-color: #C8C8C8;
  128. --fragment-copy-ok-color: #2EC82E;
  129. --fragment-highlight-filter: -3;
  130. --tooltip-foreground-color: black;
  131. --tooltip-background-color: rgba(255,255,255,0.8);
  132. --tooltip-arrow-background-color: white;
  133. --tooltip-border-color: rgba(150,150,150,0.7);
  134. --tooltip-backdrop-filter: blur(3px);
  135. --tooltip-doc-color: grey;
  136. --tooltip-declaration-color: #006318;
  137. --tooltip-link-color: #4665A2;
  138. --tooltip-shadow: 0 4px 8px 0 rgba(0,0,0,.25);
  139. --fold-line-color: #808080;
  140. /** font-family */
  141. --font-family-normal: system-ui,-apple-system,Segoe UI,Roboto,Ubuntu,Cantarell,Noto Sans,sans-serif,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";
  142. --font-family-monospace: 'JetBrains Mono',Consolas,Monaco,'Andale Mono','Ubuntu Mono',monospace,fixed;
  143. --font-family-nav: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
  144. --font-family-title: system-ui,-apple-system,Segoe UI,Roboto,Ubuntu,Cantarell,Noto Sans,sans-serif,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";
  145. --font-family-toc: Verdana,'DejaVu Sans',Geneva,sans-serif;
  146. --font-family-search: Arial,Verdana,sans-serif;
  147. --font-family-icon: Arial,Helvetica;
  148. --font-family-tooltip: Roboto,sans-serif;
  149. /** special sections */
  150. --warning-color-bg: #f8d1cc;
  151. --warning-color-hl: #b61825;
  152. --warning-color-text: #75070f;
  153. --note-color-bg: #faf3d8;
  154. --note-color-hl: #f3a600;
  155. --note-color-text: #5f4204;
  156. --todo-color-bg: #e4f3ff;
  157. --todo-color-hl: #1879C4;
  158. --todo-color-text: #274a5c;
  159. --test-color-bg: #e8e8ff;
  160. --test-color-hl: #3939C4;
  161. --test-color-text: #1a1a5c;
  162. --deprecated-color-bg: #ecf0f3;
  163. --deprecated-color-hl: #5b6269;
  164. --deprecated-color-text: #43454a;
  165. --bug-color-bg: #e4dafd;
  166. --bug-color-hl: #5b2bdd;
  167. --bug-color-text: #2a0d72;
  168. --invariant-color-bg: #d8f1e3;
  169. --invariant-color-hl: #44b86f;
  170. --invariant-color-text: #265532;
  171. --satisfies-color-hl: #b61825;
  172. --satisfies-color-bg: #f8d1cc;
  173. --verifies-color-hl: #b61825;
  174. --verifies-color-bg: #f8d1cc;
  175. }
  176. @media (prefers-color-scheme: dark) {
  177. html:not(.dark-mode) {
  178. color-scheme: dark;
  179. /* page base colors */
  180. --page-background-color: black;
  181. --page-foreground-color: #C9D1D9;
  182. --page-link-color: #90A5CE;
  183. --page-visited-link-color: #90A5CE;
  184. --page-external-link-color: #A3B4D7;
  185. /* index */
  186. --index-odd-item-bg-color: #0B101A;
  187. --index-even-item-bg-color: black;
  188. --index-header-color: #C4CFE5;
  189. --index-separator-color: #334975;
  190. /* header */
  191. --header-background-color: #070B11;
  192. --header-separator-color: #141C2E;
  193. --group-header-separator-color: #1D2A43;
  194. --group-header-color: #90A5CE;
  195. --footer-foreground-color: #5B7AB7;
  196. --footer-logo-width: 60px;
  197. --citation-label-color: #90A5CE;
  198. --glow-color: cyan;
  199. --title-background-color: #090D16;
  200. --title-separator-color: #212F4B;
  201. --blockquote-background-color: #101826;
  202. --blockquote-border-color: #283A5D;
  203. --scrollbar-thumb-color: #2C3F65;
  204. --scrollbar-background-color: #070B11;
  205. --icon-background-color: #334975;
  206. --icon-foreground-color: #C4CFE5;
  207. --icon-folder-open-fill-color: #4665A2;
  208. --icon-folder-fill-color: #5373B4;
  209. --icon-folder-border-color: #C4CFE5;
  210. --icon-doc-fill-color: #6884BD;
  211. --icon-doc-border-color: #C4CFE5;
  212. /* brief member declaration list */
  213. --memdecl-background-color: #0B101A;
  214. --memdecl-foreground-color: #BBB;
  215. --memdecl-template-color: #7C95C6;
  216. --memdecl-border-color: #233250;
  217. /* detailed member list */
  218. --memdef-border-color: #233250;
  219. --memdef-title-background-color: #1B2840;
  220. --memdef-proto-background-color: #19243A;
  221. --memdef-proto-text-color: #9DB0D4;
  222. --memdef-param-name-color: #D28757;
  223. --memdef-template-color: #7C95C6;
  224. /* tables */
  225. --table-cell-border-color: #283A5D;
  226. --table-header-background-color: #283A5D;
  227. --table-header-foreground-color: #C4CFE5;
  228. /* labels */
  229. --label-background-color: #354C7B;
  230. --label-left-top-border-color: #4665A2;
  231. --label-right-bottom-border-color: #283A5D;
  232. --label-foreground-color: #CCCCCC;
  233. /** navigation bar/tree/menu */
  234. --nav-background-color: #101826;
  235. --nav-foreground-color: #364D7C;
  236. --nav-border-color: #212F4B;
  237. --nav-breadcrumb-separator-color: #212F4B;
  238. --nav-breadcrumb-active-bg: #1D2A43;
  239. --nav-breadcrumb-color: #90A5CE;
  240. --nav-splitbar-bg-color: #283A5D;
  241. --nav-splitbar-handle-color: #4665A2;
  242. --nav-font-size-level1: 13px;
  243. --nav-font-size-level2: 10px;
  244. --nav-font-size-level3: 9px;
  245. --nav-text-normal-color: #B6C4DF;
  246. --nav-menu-button-color: #B6C4DF;
  247. --nav-menu-background-color: #05070C;
  248. --nav-menu-foreground-color: #BBBBBB;
  249. --nav-menu-active-bg: #1D2A43;
  250. --nav-menu-active-color: #C9D3E7;
  251. --nav-arrow-color: #4665A2;
  252. --nav-arrow-selected-color: #6884BD;
  253. /* sync icon */
  254. --sync-icon-border-color: #212F4B;
  255. --sync-icon-background-color: #101826;
  256. --sync-icon-selected-background-color: #1D2A43;
  257. --sync-icon-color: #4665A2;
  258. --sync-icon-selected-color: #5373B4;
  259. /* table of contents */
  260. --toc-background-color: #151E30;
  261. --toc-border-color: #202E4A;
  262. --toc-header-color: #A3B4D7;
  263. --toc-down-arrow-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' version='1.1' height='10px' width='5px'><text x='0' y='5' font-size='10' fill='grey'>&%238595;</text></svg>");
  264. /** search field */
  265. --search-background-color: black;
  266. --search-foreground-color: #C5C5C5;
  267. --search-active-color: #F5F5F5;
  268. --search-filter-background-color: #101826;
  269. --search-filter-foreground-color: #90A5CE;
  270. --search-filter-backdrop-filter: none;
  271. --search-filter-border-color: #7C95C6;
  272. --search-filter-highlight-text-color: #BCC9E2;
  273. --search-filter-highlight-bg-color: #283A5D;
  274. --search-results-background-color: black;
  275. --search-results-foreground-color: #90A5CE;
  276. --search-results-backdrop-filter: none;
  277. --search-results-border-color: #334975;
  278. --search-box-border-color: #334975;
  279. --search-close-icon-bg-color: #909090;
  280. --search-close-icon-fg-color: black;
  281. /** code fragments */
  282. --code-keyword-color: #CC99CD;
  283. --code-type-keyword-color: #AB99CD;
  284. --code-flow-keyword-color: #E08000;
  285. --code-comment-color: #717790;
  286. --code-preprocessor-color: #65CABE;
  287. --code-string-literal-color: #7EC699;
  288. --code-char-literal-color: #00E0F0;
  289. --code-xml-cdata-color: #C9D1D9;
  290. --code-vhdl-digit-color: #FF00FF;
  291. --code-vhdl-char-color: #C0C0C0;
  292. --code-vhdl-keyword-color: #CF53C9;
  293. --code-vhdl-logic-color: #FF0000;
  294. --fragment-foreground-color: #C9D1D9;
  295. --fragment-background-color: #090D16;
  296. --fragment-border-color: #30363D;
  297. --fragment-lineno-border-color: #30363D;
  298. --fragment-lineno-background-color: black;
  299. --fragment-lineno-foreground-color: #6E7681;
  300. --fragment-lineno-link-fg-color: #6E7681;
  301. --fragment-lineno-link-bg-color: #303030;
  302. --fragment-lineno-link-hover-fg-color: #8E96A1;
  303. --fragment-lineno-link-hover-bg-color: #505050;
  304. --fragment-copy-ok-color: #0EA80E;
  305. --fragment-highlight-filter: 5;
  306. --tooltip-foreground-color: #C9D1D9;
  307. --tooltip-background-color: #202020;
  308. --tooltip-arrow-background-color: #202020;
  309. --tooltip-backdrop-filter: none;
  310. --tooltip-border-color: #C9D1D9;
  311. --tooltip-doc-color: #D9E1E9;
  312. --tooltip-declaration-color: #20C348;
  313. --tooltip-link-color: #79C0FF;
  314. --tooltip-shadow: none;
  315. --fold-line-color: #808080;
  316. /** font-family */
  317. --font-family-normal: system-ui,-apple-system,Segoe UI,Roboto,Ubuntu,Cantarell,Noto Sans,sans-serif,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";
  318. --font-family-monospace: 'JetBrains Mono',Consolas,Monaco,'Andale Mono','Ubuntu Mono',monospace,fixed;
  319. --font-family-nav: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
  320. --font-family-title: system-ui,-apple-system,Segoe UI,Roboto,Ubuntu,Cantarell,Noto Sans,sans-serif,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";
  321. --font-family-toc: Verdana,'DejaVu Sans',Geneva,sans-serif;
  322. --font-family-search: Arial,Verdana,sans-serif;
  323. --font-family-icon: Arial,Helvetica;
  324. --font-family-tooltip: Roboto,sans-serif;
  325. /** special sections */
  326. --warning-color-bg: #2e1917;
  327. --warning-color-hl: #ad2617;
  328. --warning-color-text: #f5b1aa;
  329. --note-color-bg: #3b2e04;
  330. --note-color-hl: #f1b602;
  331. --note-color-text: #ceb670;
  332. --todo-color-bg: #163750;
  333. --todo-color-hl: #1982D2;
  334. --todo-color-text: #dcf0fa;
  335. --test-color-bg: #121258;
  336. --test-color-hl: #4242cf;
  337. --test-color-text: #c0c0da;
  338. --deprecated-color-bg: #2e323b;
  339. --deprecated-color-hl: #738396;
  340. --deprecated-color-text: #abb0bd;
  341. --bug-color-bg: #2a2536;
  342. --bug-color-hl: #7661b3;
  343. --bug-color-text: #ae9ed6;
  344. --invariant-color-bg: #303a35;
  345. --invariant-color-hl: #76ce96;
  346. --invariant-color-text: #cceed5;
  347. --satisfies-color-hl: #ad2617;
  348. --satisfies-color-bg: #2e1917;
  349. --verifies-color-hl: #ad2617;
  350. --verifies-color-bg: #2e1917;
  351. }}
  352. body {
  353. background-color: var(--page-background-color);
  354. color: var(--page-foreground-color);
  355. }
  356. body, table, div, p, dl {
  357. font-weight: 400;
  358. font-size: 14px;
  359. font-family: var(--font-family-normal);
  360. line-height: 22px;
  361. }
  362. body.resizing {
  363. user-select: none;
  364. -webkit-user-select: none;
  365. }
  366. #doc-content {
  367. scrollbar-width: thin;
  368. }
  369. /* @group Heading Levels */
  370. .title {
  371. font-family: var(--font-family-normal);
  372. line-height: 28px;
  373. font-size: 160%;
  374. font-weight: 400;
  375. margin: 10px 2px;
  376. }
  377. h1.groupheader {
  378. font-size: 150%;
  379. }
  380. h2.groupheader {
  381. box-shadow: 12px 0 var(--page-background-color),
  382. -12px 0 var(--page-background-color),
  383. 12px 1px var(--group-header-separator-color),
  384. -12px 1px var(--group-header-separator-color);
  385. color: var(--group-header-color);
  386. font-size: 150%;
  387. font-weight: normal;
  388. margin-top: 1.75em;
  389. padding-top: 8px;
  390. padding-bottom: 4px;
  391. width: 100%;
  392. }
  393. td h2.groupheader {
  394. box-shadow: 13px 0 var(--page-background-color),
  395. -13px 0 var(--page-background-color),
  396. 13px 1px var(--group-header-separator-color),
  397. -13px 1px var(--group-header-separator-color);
  398. }
  399. h3.groupheader {
  400. font-size: 100%;
  401. }
  402. h1, h2, h3, h4, h5, h6 {
  403. -webkit-transition: text-shadow 0.5s linear;
  404. -moz-transition: text-shadow 0.5s linear;
  405. -ms-transition: text-shadow 0.5s linear;
  406. -o-transition: text-shadow 0.5s linear;
  407. transition: text-shadow 0.5s linear;
  408. margin-right: 15px;
  409. }
  410. h1.glow, h2.glow, h3.glow, h4.glow, h5.glow, h6.glow {
  411. text-shadow: 0 0 15px var(--glow-color);
  412. }
  413. dt {
  414. font-weight: bold;
  415. }
  416. p.startli, p.startdd {
  417. margin-top: 2px;
  418. margin-bottom: 0px;
  419. }
  420. th p.starttd, th p.intertd, th p.endtd {
  421. font-size: 100%;
  422. font-weight: 700;
  423. }
  424. p.starttd {
  425. margin-top: 0px;
  426. }
  427. p.endli {
  428. margin-bottom: 0px;
  429. }
  430. p.enddd {
  431. margin-bottom: 4px;
  432. }
  433. p.endtd {
  434. margin-bottom: 2px;
  435. }
  436. p.interli {
  437. }
  438. p.interdd {
  439. }
  440. p.intertd {
  441. }
  442. /* @end */
  443. caption {
  444. font-weight: bold;
  445. }
  446. span.legend {
  447. font-size: 70%;
  448. text-align: center;
  449. }
  450. h3.version {
  451. font-size: 90%;
  452. text-align: center;
  453. }
  454. div.navtab {
  455. margin-right: 6px;
  456. padding-right: 6px;
  457. text-align: right;
  458. line-height: 110%;
  459. background-color: var(--nav-background-color);
  460. }
  461. div.navtab table {
  462. border-spacing: 0;
  463. }
  464. td.navtab {
  465. padding-right: 6px;
  466. padding-left: 6px;
  467. }
  468. td.navtabHL {
  469. padding-right: 6px;
  470. padding-left: 6px;
  471. border-radius: 0 6px 6px 0;
  472. background-color: var(--nav-menu-active-bg);
  473. }
  474. div.alphasepar:before{
  475. content: " | " ;
  476. width: 14px;
  477. display: inline-block;
  478. text-align: center;
  479. line-height: 140%;
  480. font-size: 130%;
  481. }
  482. div.alphasepar{
  483. display: inline-block;
  484. }
  485. div.qindex{
  486. text-align: center;
  487. width: 100%;
  488. line-height: 140%;
  489. font-size: 130%;
  490. color: var(--index-separator-color);
  491. }
  492. #main-menu a:focus {
  493. outline: auto;
  494. z-index: 10;
  495. position: relative;
  496. }
  497. dt.alphachar{
  498. font-size: 180%;
  499. font-weight: bold;
  500. }
  501. .alphachar a{
  502. color: var(--index-header-color);
  503. }
  504. .alphachar a:hover, .alphachar a:visited{
  505. text-decoration: none;
  506. }
  507. .classindex dl {
  508. padding: 25px;
  509. column-count:1
  510. }
  511. .classindex dd {
  512. display:inline-block;
  513. margin-left: 50px;
  514. width: 90%;
  515. line-height: 1.15em;
  516. }
  517. .classindex dl.even {
  518. background-color: var(--index-even-item-bg-color);
  519. }
  520. .classindex dl.odd {
  521. background-color: var(--index-odd-item-bg-color);
  522. }
  523. @media(min-width: 1120px) {
  524. .classindex dl {
  525. column-count:2
  526. }
  527. }
  528. @media(min-width: 1320px) {
  529. .classindex dl {
  530. column-count:3
  531. }
  532. }
  533. /* @group Link Styling */
  534. a {
  535. color: var(--page-link-color);
  536. text-decoration: none;
  537. }
  538. .contents a:visited {
  539. color: var(--page-visited-link-color);
  540. }
  541. span.label a:hover {
  542. text-decoration: none;
  543. background: linear-gradient(to bottom, transparent 0,transparent calc(100% - 1px), currentColor 100%);
  544. }
  545. a.el {
  546. font-weight: bold;
  547. }
  548. a.elRef {
  549. }
  550. a.el, a.el:visited, a.code, a.code:visited, a.line, a.line:visited {
  551. color: var(--page-link-color);
  552. }
  553. a.codeRef, a.codeRef:visited, a.lineRef, a.lineRef:visited {
  554. color: var(--page-external-link-color);
  555. }
  556. a.code.hl_class { /* style for links to class names in code snippets */ }
  557. a.code.hl_struct { /* style for links to struct names in code snippets */ }
  558. a.code.hl_union { /* style for links to union names in code snippets */ }
  559. a.code.hl_interface { /* style for links to interface names in code snippets */ }
  560. a.code.hl_protocol { /* style for links to protocol names in code snippets */ }
  561. a.code.hl_category { /* style for links to category names in code snippets */ }
  562. a.code.hl_exception { /* style for links to exception names in code snippets */ }
  563. a.code.hl_service { /* style for links to service names in code snippets */ }
  564. a.code.hl_singleton { /* style for links to singleton names in code snippets */ }
  565. a.code.hl_concept { /* style for links to concept names in code snippets */ }
  566. a.code.hl_namespace { /* style for links to namespace names in code snippets */ }
  567. a.code.hl_package { /* style for links to package names in code snippets */ }
  568. a.code.hl_define { /* style for links to macro names in code snippets */ }
  569. a.code.hl_function { /* style for links to function names in code snippets */ }
  570. a.code.hl_variable { /* style for links to variable names in code snippets */ }
  571. a.code.hl_typedef { /* style for links to typedef names in code snippets */ }
  572. a.code.hl_enumvalue { /* style for links to enum value names in code snippets */ }
  573. a.code.hl_enumeration { /* style for links to enumeration names in code snippets */ }
  574. a.code.hl_signal { /* style for links to Qt signal names in code snippets */ }
  575. a.code.hl_slot { /* style for links to Qt slot names in code snippets */ }
  576. a.code.hl_friend { /* style for links to friend names in code snippets */ }
  577. a.code.hl_dcop { /* style for links to KDE3 DCOP names in code snippets */ }
  578. a.code.hl_property { /* style for links to property names in code snippets */ }
  579. a.code.hl_event { /* style for links to event names in code snippets */ }
  580. a.code.hl_sequence { /* style for links to sequence names in code snippets */ }
  581. a.code.hl_dictionary { /* style for links to dictionary names in code snippets */ }
  582. div.embeddoc {
  583. font-family: var(--font-family-monospace);
  584. padding-left: 10px;
  585. }
  586. /* @end */
  587. dl.el {
  588. margin-left: -1cm;
  589. }
  590. ul.check {
  591. list-style: none;
  592. padding-left: 40px;
  593. margin: 0;
  594. }
  595. ul.check li {
  596. position: relative;
  597. }
  598. li.unchecked::before, li.checked::before {
  599. position: absolute;
  600. left: -18px;
  601. top: 0;
  602. }
  603. li.unchecked::before {
  604. content: "☐";
  605. }
  606. li.checked::before {
  607. content: "☑";
  608. }
  609. ul.check li > p {
  610. display: inline;
  611. }
  612. ul.check li > p:not(:first-child) {
  613. display: block;
  614. }
  615. ol {
  616. text-indent: 0px;
  617. }
  618. ul {
  619. text-indent: 0px;
  620. overflow: visible;
  621. }
  622. ul.multicol {
  623. -moz-column-gap: 1em;
  624. -webkit-column-gap: 1em;
  625. column-gap: 1em;
  626. -moz-column-count: 3;
  627. -webkit-column-count: 3;
  628. column-count: 3;
  629. list-style-type: none;
  630. }
  631. #side-nav ul {
  632. overflow: visible; /* reset ul rule for scroll bar in GENERATE_TREEVIEW window */
  633. }
  634. #main-nav ul {
  635. overflow: visible; /* reset ul rule for the navigation bar drop down lists */
  636. }
  637. .fragment {
  638. text-align: left;
  639. direction: ltr;
  640. overflow-x: auto;
  641. overflow-y: hidden;
  642. position: relative;
  643. min-height: 12px;
  644. margin: 10px 0px;
  645. padding: 10px 10px;
  646. border: 1px solid var(--fragment-border-color);
  647. border-radius: 4px;
  648. background-color: var(--fragment-background-color);
  649. color: var(--fragment-foreground-color);
  650. }
  651. pre.fragment {
  652. word-wrap: break-word;
  653. font-size: 10pt;
  654. line-height: 125%;
  655. font-family: var(--font-family-monospace);
  656. }
  657. span.tt {
  658. white-space: pre;
  659. font-family: var(--font-family-monospace);
  660. background-color: var(--fragment-background-color);
  661. }
  662. .label span.tt {
  663. background: none;
  664. }
  665. .clipboard {
  666. width: 24px;
  667. height: 24px;
  668. right: 5px;
  669. top: 5px;
  670. opacity: 0;
  671. position: absolute;
  672. display: inline;
  673. overflow: hidden;
  674. justify-content: center;
  675. align-items: center;
  676. cursor: pointer;
  677. }
  678. .clipboard.success {
  679. border: 1px solid var(--fragment-foreground-color);
  680. border-radius: 4px;
  681. }
  682. .fragment:hover .clipboard, .clipboard.success {
  683. opacity: .4;
  684. }
  685. .clipboard:hover, .clipboard.success {
  686. opacity: 1 !important;
  687. }
  688. .clipboard:active:not([class~=success]) svg {
  689. transform: scale(.91);
  690. }
  691. .clipboard.success svg {
  692. fill: var(--fragment-copy-ok-color);
  693. }
  694. .clipboard.success {
  695. border-color: var(--fragment-copy-ok-color);
  696. }
  697. div.line {
  698. font-family: var(--font-family-monospace);
  699. font-size: 13px;
  700. min-height: 13px;
  701. line-height: 1.2;
  702. text-wrap: wrap;
  703. word-break: break-all;
  704. white-space: -moz-pre-wrap; /* Moz */
  705. white-space: -pre-wrap; /* Opera 4-6 */
  706. white-space: -o-pre-wrap; /* Opera 7 */
  707. white-space: pre-wrap; /* CSS3 */
  708. word-wrap: break-word; /* IE 5.5+ */
  709. text-indent: -62px;
  710. padding-left: 62px;
  711. padding-bottom: 0px;
  712. margin: 0px;
  713. -webkit-transition-property: background-color, box-shadow;
  714. -webkit-transition-duration: 0.5s;
  715. -moz-transition-property: background-color, box-shadow;
  716. -moz-transition-duration: 0.5s;
  717. -ms-transition-property: background-color, box-shadow;
  718. -ms-transition-duration: 0.5s;
  719. -o-transition-property: background-color, box-shadow;
  720. -o-transition-duration: 0.5s;
  721. transition-property: background-color, box-shadow;
  722. transition-duration: 0.5s;
  723. }
  724. div.line:after {
  725. content:"\000A";
  726. white-space: pre;
  727. }
  728. div.line.glow {
  729. background-color: var(--glow-color);
  730. box-shadow: 0 0 10px var(--glow-color);
  731. }
  732. span.fold {
  733. display: inline-block;
  734. width: 12px;
  735. height: 12px;
  736. margin-left: 4px;
  737. margin-right: 1px;
  738. }
  739. span.foldnone {
  740. display: inline-block;
  741. position: relative;
  742. cursor: pointer;
  743. user-select: none;
  744. }
  745. span.fold.plus, span.fold.minus {
  746. width: 10px;
  747. height: 10px;
  748. background-color: var(--fragment-background-color);
  749. position: relative;
  750. border: 1px solid var(--fold-line-color);
  751. margin-right: 1px;
  752. }
  753. span.fold.plus::before, span.fold.minus::before {
  754. content: '';
  755. position: absolute;
  756. background-color: var(--fold-line-color);
  757. }
  758. span.fold.plus::before {
  759. width: 2px;
  760. height: 6px;
  761. top: 2px;
  762. left: 4px;
  763. }
  764. span.fold.plus::after {
  765. content: '';
  766. position: absolute;
  767. width: 6px;
  768. height: 2px;
  769. top: 4px;
  770. left: 2px;
  771. background-color: var(--fold-line-color);
  772. }
  773. span.fold.minus::before {
  774. width: 6px;
  775. height: 2px;
  776. top: 4px;
  777. left: 2px;
  778. }
  779. span.lineno {
  780. padding-right: 4px;
  781. margin-right: 9px;
  782. text-align: right;
  783. border-right: 2px solid var(--fragment-lineno-border-color);
  784. color: var(--fragment-lineno-foreground-color);
  785. background-color: var(--fragment-lineno-background-color);
  786. white-space: pre;
  787. }
  788. span.lineno a, span.lineno a:visited {
  789. color: var(--fragment-lineno-link-fg-color);
  790. background-color: var(--fragment-lineno-link-bg-color);
  791. }
  792. span.lineno a:hover {
  793. color: var(--fragment-lineno-link-hover-fg-color);
  794. background-color: var(--fragment-lineno-link-hover-bg-color);
  795. }
  796. .lineno {
  797. -webkit-touch-callout: none;
  798. -webkit-user-select: none;
  799. -khtml-user-select: none;
  800. -moz-user-select: none;
  801. -ms-user-select: none;
  802. user-select: none;
  803. }
  804. div.classindex ul {
  805. list-style: none;
  806. padding-left: 0;
  807. }
  808. div.classindex span.ai {
  809. display: inline-block;
  810. }
  811. div.groupHeader {
  812. box-shadow: 13px 0 var(--page-background-color),
  813. -13px 0 var(--page-background-color),
  814. 13px 1px var(--group-header-separator-color),
  815. -13px 1px var(--group-header-separator-color);
  816. color: var(--group-header-color);
  817. font-size: 110%;
  818. font-weight: 500;
  819. margin-left: 0px;
  820. margin-top: 0em;
  821. margin-bottom: 6px;
  822. padding-top: 8px;
  823. padding-bottom: 4px;
  824. }
  825. div.groupText {
  826. margin-left: 16px;
  827. font-style: italic;
  828. }
  829. body {
  830. color: var(--page-foreground-color);
  831. margin: 0;
  832. }
  833. div.contents {
  834. margin-top: 10px;
  835. margin-left: 12px;
  836. margin-right: 12px;
  837. }
  838. p.formulaDsp {
  839. text-align: center;
  840. }
  841. img.dark-mode-visible {
  842. display: none;
  843. }
  844. img.light-mode-visible {
  845. display: none;
  846. }
  847. img.formulaInl, img.inline {
  848. vertical-align: middle;
  849. }
  850. div.toc img.inline {
  851. float: none;
  852. vertical-align: top;
  853. max-height: 14px;
  854. }
  855. div.center {
  856. text-align: center;
  857. margin-top: 0px;
  858. margin-bottom: 0px;
  859. padding: 0px;
  860. }
  861. div.center img {
  862. border: 0px;
  863. }
  864. address.footer {
  865. text-align: right;
  866. padding-right: 12px;
  867. }
  868. img.footer {
  869. border: 0px;
  870. vertical-align: middle;
  871. width: var(--footer-logo-width);
  872. }
  873. .compoundTemplParams {
  874. color: var(--memdecl-template-color);
  875. font-size: 80%;
  876. line-height: 120%;
  877. }
  878. /* @group Code Colorization */
  879. span.keyword {
  880. color: var(--code-keyword-color);
  881. }
  882. span.keywordtype {
  883. color: var(--code-type-keyword-color);
  884. }
  885. span.keywordflow {
  886. color: var(--code-flow-keyword-color);
  887. }
  888. span.comment {
  889. color: var(--code-comment-color);
  890. }
  891. span.preprocessor {
  892. color: var(--code-preprocessor-color);
  893. }
  894. span.stringliteral {
  895. color: var(--code-string-literal-color);
  896. }
  897. span.charliteral {
  898. color: var(--code-char-literal-color);
  899. }
  900. span.xmlcdata {
  901. color: var(--code-xml-cdata-color);
  902. }
  903. span.vhdldigit {
  904. color: var(--code-vhdl-digit-color);
  905. }
  906. span.vhdlchar {
  907. color: var(--code-vhdl-char-color);
  908. }
  909. span.vhdlkeyword {
  910. color: var(--code-vhdl-keyword-color);
  911. }
  912. span.vhdllogic {
  913. color: var(--code-vhdl-logic-color);
  914. }
  915. blockquote {
  916. background-color: var(--blockquote-background-color);
  917. border-left: 2px solid var(--blockquote-border-color);
  918. margin: 0 24px 0 4px;
  919. padding: 0 12px 0 16px;
  920. }
  921. /* @end */
  922. td.tiny {
  923. font-size: 75%;
  924. }
  925. .dirtab {
  926. padding: 4px;
  927. border-collapse: collapse;
  928. border: 1px solid var(--table-cell-border-color);
  929. }
  930. th.dirtab {
  931. background-color: var(--table-header-background-color);
  932. color: var(--table-header-foreground-color);
  933. font-weight: bold;
  934. }
  935. hr {
  936. border: none;
  937. margin-top: 16px;
  938. margin-bottom: 16px;
  939. height: 1px;
  940. box-shadow: 13px 0 var(--page-background-color),
  941. -13px 0 var(--page-background-color),
  942. 13px 1px var(--group-header-separator-color),
  943. -13px 1px var(--group-header-separator-color);
  944. }
  945. hr.footer {
  946. height: 1px;
  947. }
  948. /* @group Member Descriptions */
  949. table.memberdecls {
  950. border-spacing: 0px;
  951. padding: 0px;
  952. }
  953. table.memberdecls-inline {
  954. border: 1px solid var(--memdef-border-color);
  955. border-radius: 4px;
  956. }
  957. .memberdecls td, .fieldtable tr {
  958. transition-property: background-color, box-shadow;
  959. transition-duration: 0.5s;
  960. }
  961. .memberdecls td.glow, .fieldtable tr.glow {
  962. background-color: var(--glow-color);
  963. box-shadow: 0 0 15px var(--glow-color);
  964. }
  965. .memberdecls tr[class^='memitem'] {
  966. font-family: var(--font-family-monospace);
  967. }
  968. .mdescLeft, .mdescRight,
  969. .memItemLeft, .memItemRight {
  970. padding-top: 2px;
  971. padding-bottom: 2px;
  972. }
  973. .memTemplParams {
  974. padding-left: 10px;
  975. padding-top: 5px;
  976. }
  977. .memItemLeft, .memItemRight, .memTemplParams {
  978. background-color: var(--memdecl-background-color);
  979. }
  980. .mdescLeft, .mdescRight {
  981. padding: 0px 8px 4px 8px;
  982. color: var(--memdecl-foreground-color);
  983. }
  984. tr[class^='memdesc'] {
  985. box-shadow: inset 0px 1px 3px 0px rgba(0,0,0,.075);
  986. }
  987. .mdescLeft {
  988. border-left: 1px solid var(--memdecl-border-color);
  989. border-bottom: 1px solid var(--memdecl-border-color);
  990. }
  991. .mdescRight {
  992. border-right: 1px solid var(--memdecl-border-color);
  993. border-bottom: 1px solid var(--memdecl-border-color);
  994. }
  995. .memTemplParams {
  996. color: var(--memdecl-template-color);
  997. white-space: nowrap;
  998. font-size: 80%;
  999. border-left: 1px solid var(--memdecl-border-color);
  1000. border-right: 1px solid var(--memdecl-border-color);
  1001. }
  1002. td.ititle {
  1003. border: 1px solid var(--memdecl-border-color);
  1004. border-top-left-radius: 4px;
  1005. border-top-right-radius: 4px;
  1006. padding-left: 10px;
  1007. }
  1008. tr:not(:first-child) > td.ititle {
  1009. border-top: 0;
  1010. border-radius: 0;
  1011. }
  1012. .memItemLeft {
  1013. white-space: nowrap;
  1014. border-left: 1px solid var(--memdecl-border-color);
  1015. border-bottom: 1px solid var(--memdecl-border-color);
  1016. padding-left: 10px;
  1017. transition: none;
  1018. vertical-align: top;
  1019. text-align: right;
  1020. }
  1021. .memItemRight {
  1022. width: 100%;
  1023. border-right: 1px solid var(--memdecl-border-color);
  1024. border-bottom: 1px solid var(--memdecl-border-color);
  1025. padding-right: 10px;
  1026. transition: none;
  1027. vertical-align: bottom;
  1028. }
  1029. tr.heading + tr[class^='memitem'] td.memItemLeft,
  1030. tr.groupHeader + tr[class^='memitem'] td.memItemLeft,
  1031. tr.inherit_header + tr[class^='memitem'] td.memItemLeft {
  1032. border-top: 1px solid var(--memdecl-border-color);
  1033. border-top-left-radius: 4px;
  1034. }
  1035. tr.heading + tr[class^='memitem'] td.memItemRight,
  1036. tr.groupHeader + tr[class^='memitem'] td.memItemRight,
  1037. tr.inherit_header + tr[class^='memitem'] td.memItemRight {
  1038. border-top: 1px solid var(--memdecl-border-color);
  1039. border-top-right-radius: 4px;
  1040. }
  1041. tr.heading + tr[class^='memitem'] td.memTemplParams,
  1042. tr.heading + tr td.ititle,
  1043. tr.groupHeader + tr[class^='memitem'] td.memTemplParams,
  1044. tr.groupHeader + tr td.ititle,
  1045. tr.inherit_header + tr[class^='memitem'] td.memTemplParams {
  1046. border-top: 1px solid var(--memdecl-border-color);
  1047. border-top-left-radius: 4px;
  1048. border-top-right-radius: 4px;
  1049. }
  1050. table.memberdecls tr:last-child td.memItemLeft,
  1051. table.memberdecls tr:last-child td.mdescLeft,
  1052. table.memberdecls tr[class^='memitem']:has(+ tr.groupHeader) td.memItemLeft,
  1053. table.memberdecls tr[class^='memitem']:has(+ tr.inherit_header) td.memItemLeft,
  1054. table.memberdecls tr[class^='memdesc']:has(+ tr.groupHeader) td.mdescLeft,
  1055. table.memberdecls tr[class^='memdesc']:has(+ tr.inherit_header) td.mdescLeft {
  1056. border-bottom-left-radius: 4px;
  1057. }
  1058. table.memberdecls tr:last-child td.memItemRight,
  1059. table.memberdecls tr:last-child td.mdescRight,
  1060. table.memberdecls tr[class^='memitem']:has(+ tr.groupHeader) td.memItemRight,
  1061. table.memberdecls tr[class^='memitem']:has(+ tr.inherit_header) td.memItemRight,
  1062. table.memberdecls tr[class^='memdesc']:has(+ tr.groupHeader) td.mdescRight,
  1063. table.memberdecls tr[class^='memdesc']:has(+ tr.inherit_header) td.mdescRight {
  1064. border-bottom-right-radius: 4px;
  1065. }
  1066. tr.template .memItemLeft, tr.template .memItemRight {
  1067. border-top: none;
  1068. padding-top: 0;
  1069. }
  1070. /* @end */
  1071. /* @group Member Details */
  1072. /* Styles for detailed member documentation */
  1073. .memtitle {
  1074. padding: 8px;
  1075. border-top: 1px solid var(--memdef-border-color);
  1076. border-left: 1px solid var(--memdef-border-color);
  1077. border-right: 1px solid var(--memdef-border-color);
  1078. border-top-right-radius: 4px;
  1079. border-top-left-radius: 4px;
  1080. margin-bottom: -1px;
  1081. background-color: var(--memdef-proto-background-color);
  1082. line-height: 1.25;
  1083. font-family: var(--font-family-monospace);
  1084. font-weight: 500;
  1085. font-size: 16px;
  1086. float:left;
  1087. box-shadow: 0 10px 0 -1px var(--memdef-proto-background-color),
  1088. 0 2px 8px 0 rgba(0,0,0,.075);
  1089. position: relative;
  1090. }
  1091. .memtitle:after {
  1092. content: '';
  1093. display: block;
  1094. background: var(--memdef-proto-background-color);
  1095. height: 10px;
  1096. bottom: -10px;
  1097. left: 0px;
  1098. right: -14px;
  1099. position: absolute;
  1100. border-top-right-radius: 6px;
  1101. }
  1102. .permalink
  1103. {
  1104. font-family: var(--font-family-monospace);
  1105. font-weight: 500;
  1106. line-height: 1.25;
  1107. font-size: 16px;
  1108. display: inline-block;
  1109. vertical-align: middle;
  1110. }
  1111. .memtemplate {
  1112. font-size: 80%;
  1113. color: var(--memdef-template-color);
  1114. font-family: var(--font-family-monospace);
  1115. font-weight: normal;
  1116. margin-left: 9px;
  1117. }
  1118. .mempage {
  1119. width: 100%;
  1120. }
  1121. .memitem {
  1122. padding: 0;
  1123. margin-bottom: 10px;
  1124. margin-right: 5px;
  1125. display: table !important;
  1126. width: 100%;
  1127. box-shadow: 0 2px 8px 0 rgba(0,0,0,.075);
  1128. border-radius: 4px;
  1129. }
  1130. .memitem.glow {
  1131. box-shadow: 0 0 15px var(--glow-color);
  1132. }
  1133. .memname {
  1134. font-family: var(--font-family-monospace);
  1135. font-size: 13px;
  1136. font-weight: 400;
  1137. margin-left: 6px;
  1138. }
  1139. .memname td {
  1140. vertical-align: bottom;
  1141. }
  1142. .memproto, dl.reflist dt {
  1143. border-top: 1px solid var(--memdef-border-color);
  1144. border-left: 1px solid var(--memdef-border-color);
  1145. border-right: 1px solid var(--memdef-border-color);
  1146. padding: 6px 0px 6px 0px;
  1147. color: var(--memdef-proto-text-color);
  1148. font-weight: bold;
  1149. background-color: var(--memdef-proto-background-color);
  1150. border-top-right-radius: 4px;
  1151. border-bottom: 1px solid var(--memdef-border-color);
  1152. }
  1153. .overload {
  1154. font-family: var(--font-family-monospace);
  1155. font-size: 65%;
  1156. }
  1157. .memdoc, dl.reflist dd {
  1158. border-bottom: 1px solid var(--memdef-border-color);
  1159. border-left: 1px solid var(--memdef-border-color);
  1160. border-right: 1px solid var(--memdef-border-color);
  1161. padding: 6px 10px 2px 10px;
  1162. border-top-width: 0;
  1163. border-bottom-left-radius: 4px;
  1164. border-bottom-right-radius: 4px;
  1165. }
  1166. dl.reflist dt {
  1167. padding: 5px;
  1168. }
  1169. dl.reflist dd {
  1170. margin: 0px 0px 10px 0px;
  1171. padding: 5px;
  1172. }
  1173. .paramkey {
  1174. text-align: right;
  1175. }
  1176. .paramtype {
  1177. white-space: nowrap;
  1178. padding: 0px;
  1179. padding-bottom: 1px;
  1180. }
  1181. .paramname {
  1182. white-space: nowrap;
  1183. padding: 0px;
  1184. padding-bottom: 1px;
  1185. margin-left: 2px;
  1186. }
  1187. .paramname em {
  1188. color: var(--memdef-param-name-color);
  1189. font-style: normal;
  1190. margin-right: 1px;
  1191. }
  1192. .paramname .paramdefval {
  1193. font-family: var(--font-family-monospace);
  1194. }
  1195. .params, .retval, .exception, .tparams {
  1196. margin-left: 0px;
  1197. padding-left: 0px;
  1198. }
  1199. .params .paramname, .retval .paramname, .tparams .paramname, .exception .paramname {
  1200. font-weight: bold;
  1201. vertical-align: top;
  1202. }
  1203. .params .paramtype, .tparams .paramtype {
  1204. font-style: italic;
  1205. vertical-align: top;
  1206. }
  1207. .params .paramdir, .tparams .paramdir {
  1208. font-family: var(--font-family-monospace);
  1209. vertical-align: top;
  1210. }
  1211. table.mlabels {
  1212. border-spacing: 0px;
  1213. }
  1214. td.mlabels-left {
  1215. width: 100%;
  1216. padding: 0px;
  1217. }
  1218. td.mlabels-right {
  1219. vertical-align: bottom;
  1220. padding: 0px;
  1221. white-space: nowrap;
  1222. }
  1223. span.mlabels {
  1224. margin-left: 8px;
  1225. }
  1226. span.mlabel {
  1227. background-color: var(--label-background-color);
  1228. border-top:1px solid var(--label-left-top-border-color);
  1229. border-left:1px solid var(--label-left-top-border-color);
  1230. border-right:1px solid var(--label-right-bottom-border-color);
  1231. border-bottom:1px solid var(--label-right-bottom-border-color);
  1232. text-shadow: none;
  1233. color: var(--label-foreground-color);
  1234. margin-right: 4px;
  1235. padding: 2px 3px;
  1236. border-radius: 3px;
  1237. font-size: 7pt;
  1238. white-space: nowrap;
  1239. vertical-align: middle;
  1240. }
  1241. /* @end */
  1242. /* these are for tree view inside a (index) page */
  1243. div.directory {
  1244. margin: 10px 0px;
  1245. width: 100%;
  1246. }
  1247. .directory table {
  1248. border-collapse:collapse;
  1249. }
  1250. .directory td {
  1251. margin: 0px;
  1252. padding: 0px;
  1253. vertical-align: top;
  1254. }
  1255. .directory td.entry {
  1256. white-space: nowrap;
  1257. padding-right: 6px;
  1258. padding-top: 3px;
  1259. }
  1260. .directory td.entry a {
  1261. outline:none;
  1262. }
  1263. .directory td.entry a img {
  1264. border: none;
  1265. }
  1266. .directory td.desc {
  1267. width: 100%;
  1268. padding-left: 6px;
  1269. padding-right: 6px;
  1270. padding-top: 3px;
  1271. border-left: 1px solid rgba(0,0,0,0.05);
  1272. }
  1273. .directory tr.odd {
  1274. padding-left: 6px;
  1275. background-color: var(--index-odd-item-bg-color);
  1276. }
  1277. .directory tr.even {
  1278. padding-left: 6px;
  1279. background-color: var(--index-even-item-bg-color);
  1280. }
  1281. .directory img {
  1282. vertical-align: -30%;
  1283. }
  1284. .directory .levels {
  1285. white-space: nowrap;
  1286. width: 100%;
  1287. text-align: right;
  1288. font-size: 9pt;
  1289. }
  1290. .directory .levels span {
  1291. cursor: pointer;
  1292. padding-left: 2px;
  1293. padding-right: 2px;
  1294. color: var(--page-link-color);
  1295. }
  1296. .arrow {
  1297. color: var(--nav-background-color);
  1298. -webkit-user-select: none;
  1299. -khtml-user-select: none;
  1300. -moz-user-select: none;
  1301. -ms-user-select: none;
  1302. user-select: none;
  1303. cursor: pointer;
  1304. font-size: 80%;
  1305. display: inline-block;
  1306. width: 16px;
  1307. height: 14px;
  1308. transition: opacity 0.3s ease;
  1309. }
  1310. span.arrowhead {
  1311. position: relative;
  1312. padding: 0;
  1313. margin: 0 0 0 2px;
  1314. display: inline-block;
  1315. width: 5px;
  1316. height: 5px;
  1317. border-right: 2px solid var(--nav-arrow-color);
  1318. border-bottom: 2px solid var(--nav-arrow-color);
  1319. transform: rotate(-45deg);
  1320. transition: transform 0.3s ease;
  1321. }
  1322. span.arrowhead.opened {
  1323. transform: rotate(45deg);
  1324. }
  1325. .selected span.arrowhead {
  1326. border-right: 2px solid var(--nav-arrow-selected-color);
  1327. border-bottom: 2px solid var(--nav-arrow-selected-color);
  1328. }
  1329. .icon {
  1330. font-family: var(--font-family-icon);
  1331. line-height: normal;
  1332. font-weight: bold;
  1333. font-size: 12px;
  1334. height: 14px;
  1335. width: 16px;
  1336. display: inline-block;
  1337. background-color: var(--icon-background-color);
  1338. color: var(--icon-foreground-color);
  1339. text-align: center;
  1340. border-radius: 4px;
  1341. margin-left: 2px;
  1342. margin-right: 2px;
  1343. }
  1344. .icona {
  1345. width: 24px;
  1346. height: 22px;
  1347. display: inline-block;
  1348. }
  1349. .iconfolder {
  1350. width: 24px;
  1351. height: 18px;
  1352. margin-top: 6px;
  1353. vertical-align:top;
  1354. display: inline-block;
  1355. position: relative;
  1356. }
  1357. .icondoc {
  1358. width: 24px;
  1359. height: 18px;
  1360. margin-top: 3px;
  1361. vertical-align:top;
  1362. display: inline-block;
  1363. position: relative;
  1364. }
  1365. .folder-icon {
  1366. width: 16px;
  1367. height: 11px;
  1368. background-color: var(--icon-folder-fill-color);
  1369. border: 1px solid var(--icon-folder-border-color);
  1370. border-radius: 0 2px 2px 2px;
  1371. position: relative;
  1372. box-sizing: content-box;
  1373. }
  1374. .folder-icon::after {
  1375. content: '';
  1376. position: absolute;
  1377. top: 2px;
  1378. left: -1px;
  1379. width: 16px;
  1380. height: 7px;
  1381. background-color: var(--icon-folder-open-fill-color);
  1382. border: 1px solid var(--icon-folder-border-color);
  1383. border-radius: 7px 7px 2px 2px;
  1384. transform-origin: top left;
  1385. opacity: 0;
  1386. transition: all 0.3s linear;
  1387. }
  1388. .folder-icon::before {
  1389. content: '';
  1390. position: absolute;
  1391. top: -3px;
  1392. left: -1px;
  1393. width: 6px;
  1394. height: 2px;
  1395. background-color: var(--icon-folder-fill-color);
  1396. border-top: 1px solid var(--icon-folder-border-color);
  1397. border-left: 1px solid var(--icon-folder-border-color);
  1398. border-right: 1px solid var(--icon-folder-border-color);
  1399. border-radius: 2px 2px 0 0;
  1400. }
  1401. .folder-icon.open::after {
  1402. top: 3px;
  1403. opacity: 1;
  1404. }
  1405. .doc-icon {
  1406. left: 6px;
  1407. width: 12px;
  1408. height: 16px;
  1409. background-color: var(--icon-doc-border-color);
  1410. clip-path: polygon(0 0, 66% 0, 100% 25%, 100% 100%, 0 100%);
  1411. position: relative;
  1412. display: inline-block;
  1413. }
  1414. .doc-icon::before {
  1415. content: "";
  1416. left: 1px;
  1417. top: 1px;
  1418. width: 10px;
  1419. height: 14px;
  1420. background-color: var(--icon-doc-fill-color);
  1421. clip-path: polygon(0 0, 66% 0, 100% 25%, 100% 100%, 0 100%);
  1422. position: absolute;
  1423. box-sizing: border-box;
  1424. }
  1425. .doc-icon::after {
  1426. content: "";
  1427. left: 7px;
  1428. top: 0px;
  1429. width: 3px;
  1430. height: 3px;
  1431. background-color: transparent;
  1432. position: absolute;
  1433. border: 1px solid var(--icon-doc-border-color);
  1434. }
  1435. /* @end */
  1436. div.dynheader {
  1437. margin-top: 8px;
  1438. -webkit-touch-callout: none;
  1439. -webkit-user-select: none;
  1440. -khtml-user-select: none;
  1441. -moz-user-select: none;
  1442. -ms-user-select: none;
  1443. user-select: none;
  1444. }
  1445. span.dynarrow {
  1446. position: relative;
  1447. display: inline-block;
  1448. width: 12px;
  1449. bottom: 1px;
  1450. }
  1451. address {
  1452. font-style: normal;
  1453. color: var(--footer-foreground-color);
  1454. }
  1455. table.doxtable caption {
  1456. caption-side: top;
  1457. }
  1458. table.doxtable {
  1459. border-collapse:collapse;
  1460. margin-top: 4px;
  1461. margin-bottom: 4px;
  1462. }
  1463. table.doxtable td, table.doxtable th {
  1464. border: 1px solid var(--table-cell-border-color);
  1465. padding: 3px 7px 2px;
  1466. }
  1467. table.doxtable th {
  1468. background-color: var(--table-header-background-color);
  1469. color: var(--table-header-foreground-color);
  1470. font-size: 110%;
  1471. padding-bottom: 4px;
  1472. padding-top: 5px;
  1473. }
  1474. table.fieldtable {
  1475. margin-bottom: 10px;
  1476. border: 1px solid var(--memdef-border-color);
  1477. border-spacing: 0px;
  1478. border-radius: 4px;
  1479. box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
  1480. }
  1481. .fieldtable td, .fieldtable th {
  1482. padding: 3px 7px 2px;
  1483. }
  1484. .fieldtable td.fieldtype, .fieldtable td.fieldname, .fieldtable td.fieldinit {
  1485. white-space: nowrap;
  1486. border-right: 1px solid var(--memdef-border-color);
  1487. border-bottom: 1px solid var(--memdef-border-color);
  1488. vertical-align: top;
  1489. }
  1490. .fieldtable td.fieldname {
  1491. padding-top: 3px;
  1492. }
  1493. .fieldtable td.fieldinit {
  1494. padding-top: 3px;
  1495. text-align: right;
  1496. }
  1497. .fieldtable td.fielddoc {
  1498. border-bottom: 1px solid var(--memdef-border-color);
  1499. }
  1500. .fieldtable td.fielddoc p:first-child {
  1501. margin-top: 0px;
  1502. }
  1503. .fieldtable td.fielddoc p:last-child {
  1504. margin-bottom: 2px;
  1505. }
  1506. .fieldtable tr:last-child td {
  1507. border-bottom: none;
  1508. }
  1509. .memberdecls-inline th h3 {
  1510. margin-left: 15px;
  1511. }
  1512. .memberdecls-inline th, .fieldtable th {
  1513. background-color: var(--memdef-title-background-color);
  1514. font-size: 90%;
  1515. color: var(--memdef-proto-text-color);
  1516. padding-bottom: 4px;
  1517. padding-top: 5px;
  1518. text-align:left;
  1519. font-weight: 400;
  1520. border-top-left-radius: 4px;
  1521. border-top-right-radius: 4px;
  1522. border-bottom: 1px solid var(--memdef-border-color);
  1523. }
  1524. /* style requirements page */
  1525. div.req_title {
  1526. text-decoration-line: underline;
  1527. text-decoration-style: solid;
  1528. text-decoration-color: var(--table-cell-border-color);
  1529. text-decoration-thickness: 1px;
  1530. font-weight: bold;
  1531. }
  1532. table.reqlist tr > td:first-child {
  1533. text-align: right;
  1534. font-weight: bold;
  1535. }
  1536. div.missing_satisfies {
  1537. border-left: 8px solid var(--satisfies-color-hl);
  1538. border-radius: 4px;
  1539. background: var(--satisfies-color-bg);
  1540. padding: 10px;
  1541. margin: 10px 0px;
  1542. overflow: hidden;
  1543. margin-left: 0;
  1544. }
  1545. div.missing_verifies {
  1546. border-left: 8px solid var(--verifies-color-hl);
  1547. border-radius: 4px;
  1548. background: var(--verifies-color-bg);
  1549. padding: 10px;
  1550. margin: 10px 0px;
  1551. overflow: hidden;
  1552. margin-left: 0;
  1553. }
  1554. /* ----------- navigation breadcrumb styling ----------- */
  1555. #nav-path ul {
  1556. height: 30px;
  1557. line-height: 30px;
  1558. color: var(--nav-text-normal-color);
  1559. overflow: hidden;
  1560. margin: 0px;
  1561. padding-left: 4px;
  1562. background-image: none;
  1563. background: var(--page-background-color);
  1564. border-bottom: 1px solid var(--nav-breadcrumb-separator-color);
  1565. font-size: var(--nav-font-size-level1);
  1566. font-family: var(--font-family-nav);
  1567. position: relative;
  1568. z-index: 100;
  1569. }
  1570. #main-nav {
  1571. border-bottom: 1px solid var(--nav-border-color);
  1572. }
  1573. .navpath li {
  1574. list-style-type:none;
  1575. float:left;
  1576. color: var(--nav-foreground-color);
  1577. }
  1578. .navpath li.footer {
  1579. list-style-type:none;
  1580. float:right;
  1581. padding-left:10px;
  1582. padding-right:15px;
  1583. background-image:none;
  1584. background-repeat:no-repeat;
  1585. background-position:right;
  1586. font-size: 8pt;
  1587. color: var(--footer-foreground-color);
  1588. }
  1589. #nav-path li.navelem {
  1590. background-image: none;
  1591. display: flex;
  1592. align-items: center;
  1593. padding-left: 15px;
  1594. }
  1595. .navpath li.navelem a {
  1596. text-shadow: none;
  1597. display: inline-block;
  1598. color: var(--nav-breadcrumb-color);
  1599. position: relative;
  1600. top: 0px;
  1601. height: 30px;
  1602. margin-right: -20px;
  1603. }
  1604. #nav-path li.navelem:after {
  1605. content: '';
  1606. display: inline-block;
  1607. position: relative;
  1608. top: 0;
  1609. right: -15px;
  1610. width: 30px;
  1611. height: 30px;
  1612. transform: scaleX(0.5) scale(0.707) rotate(45deg);
  1613. z-index: 10;
  1614. background: var(--page-background-color);
  1615. box-shadow: 2px -2px 0 2px var(--nav-breadcrumb-separator-color);
  1616. border-radius: 0 5px 0 50px;
  1617. }
  1618. #nav-path li.navelem:first-child {
  1619. margin-left: -6px;
  1620. }
  1621. #nav-path li.navelem:hover,
  1622. #nav-path li.navelem:hover:after {
  1623. background-color: var(--nav-breadcrumb-active-bg);
  1624. }
  1625. /* ---------------------- */
  1626. div.summary
  1627. {
  1628. float: right;
  1629. font-size: 8pt;
  1630. padding-right: 5px;
  1631. width: 50%;
  1632. text-align: right;
  1633. }
  1634. div.summary a
  1635. {
  1636. white-space: nowrap;
  1637. }
  1638. table.classindex
  1639. {
  1640. margin: 10px;
  1641. white-space: nowrap;
  1642. margin-left: 3%;
  1643. margin-right: 3%;
  1644. width: 94%;
  1645. border: 0;
  1646. border-spacing: 0;
  1647. padding: 0;
  1648. }
  1649. div.ingroups
  1650. {
  1651. font-size: 8pt;
  1652. width: 50%;
  1653. text-align: left;
  1654. }
  1655. div.ingroups a
  1656. {
  1657. white-space: nowrap;
  1658. }
  1659. div.header
  1660. {
  1661. margin: 0px;
  1662. background-color: var(--header-background-color);
  1663. border-bottom: 1px solid var(--header-separator-color);
  1664. }
  1665. div.headertitle
  1666. {
  1667. padding: 5px 5px 5px 10px;
  1668. }
  1669. dl {
  1670. padding: 0 0 0 0;
  1671. }
  1672. dl.bug dt a, dl.deprecated dt a, dl.todo dt a, dl.test a {
  1673. font-weight: bold !important;
  1674. }
  1675. dl.warning, dl.attention, dl.important, dl.note, dl.deprecated, dl.bug,
  1676. dl.invariant, dl.pre, dl.post, dl.todo, dl.test, dl.remark {
  1677. padding: 10px;
  1678. margin: 10px 0px;
  1679. overflow: hidden;
  1680. margin-left: 0;
  1681. border-radius: 4px;
  1682. }
  1683. dl.section dd {
  1684. margin-bottom: 2px;
  1685. }
  1686. dl.warning, dl.attention, dl.important {
  1687. background: var(--warning-color-bg);
  1688. border-left: 8px solid var(--warning-color-hl);
  1689. color: var(--warning-color-text);
  1690. }
  1691. dl.warning dt, dl.attention dt, dl.important dt {
  1692. color: var(--warning-color-hl);
  1693. }
  1694. dl.warning .tt, dl.attention .tt, dl.important .tt {
  1695. background-color: hsl(from var(--warning-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1696. }
  1697. dl.note, dl.remark {
  1698. background: var(--note-color-bg);
  1699. border-left: 8px solid var(--note-color-hl);
  1700. color: var(--note-color-text);
  1701. }
  1702. dl.note dt, dl.remark dt {
  1703. color: var(--note-color-hl);
  1704. }
  1705. dl.note .tt, dl.remark .tt {
  1706. background-color: hsl(from var(--note-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1707. }
  1708. dl.todo {
  1709. background: var(--todo-color-bg);
  1710. border-left: 8px solid var(--todo-color-hl);
  1711. color: var(--todo-color-text);
  1712. }
  1713. dl.todo dt {
  1714. color: var(--todo-color-hl);
  1715. }
  1716. dl.todo .tt {
  1717. background-color: hsl(from var(--todo-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1718. }
  1719. dl.test {
  1720. background: var(--test-color-bg);
  1721. border-left: 8px solid var(--test-color-hl);
  1722. color: var(--test-color-text);
  1723. }
  1724. dl.test dt {
  1725. color: var(--test-color-hl);
  1726. }
  1727. dl.test .tt {
  1728. background-color: hsl(from var(--test-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1729. }
  1730. dl.bug dt a {
  1731. color: var(--bug-color-hl) !important;
  1732. }
  1733. dl.bug {
  1734. background: var(--bug-color-bg);
  1735. border-left: 8px solid var(--bug-color-hl);
  1736. color: var(--bug-color-text);
  1737. }
  1738. dl.bug dt a {
  1739. color: var(--bug-color-hl) !important;
  1740. }
  1741. dl.bug .tt {
  1742. background-color: hsl(from var(--bug-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1743. }
  1744. dl.deprecated {
  1745. background: var(--deprecated-color-bg);
  1746. border-left: 8px solid var(--deprecated-color-hl);
  1747. color: var(--deprecated-color-text);
  1748. }
  1749. dl.deprecated dt a {
  1750. color: var(--deprecated-color-hl) !important;
  1751. }
  1752. dl.deprecated .tt {
  1753. background-color: hsl(from var(--deprecated-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1754. }
  1755. dl.invariant, dl.pre, dl.post {
  1756. background: var(--invariant-color-bg);
  1757. border-left: 8px solid var(--invariant-color-hl);
  1758. color: var(--invariant-color-text);
  1759. }
  1760. dl.invariant dt, dl.pre dt, dl.post dt {
  1761. color: var(--invariant-color-hl);
  1762. }
  1763. dl.invariant .tt, dl.pre .tt, dl.post .tt {
  1764. background-color: hsl(from var(--invariant-color-bg) h s calc(l + var(--fragment-highlight-filter)));
  1765. }
  1766. dl.note dd, dl.warning dd, dl.pre dd, dl.post dd,
  1767. dl.remark dd, dl.attention dd, dl.important dd, dl.invariant dd,
  1768. dl.bug dd, dl.deprecated dd, dl.todo dd, dl.test dd {
  1769. margin-inline-start: 0px;
  1770. }
  1771. #projectrow
  1772. {
  1773. height: 56px;
  1774. }
  1775. #projectlogo
  1776. {
  1777. text-align: center;
  1778. vertical-align: bottom;
  1779. border-collapse: separate;
  1780. }
  1781. #projectlogo img
  1782. {
  1783. border: 0px none;
  1784. }
  1785. #projectalign
  1786. {
  1787. vertical-align: middle;
  1788. padding-left: 0.5em;
  1789. }
  1790. #projectname
  1791. {
  1792. font-size: 200%;
  1793. font-family: var(--font-family-title);
  1794. margin: 0;
  1795. padding: 0;
  1796. }
  1797. #side-nav #projectname
  1798. {
  1799. font-size: 130%;
  1800. }
  1801. #projectbrief
  1802. {
  1803. font-size: 90%;
  1804. font-family: var(--font-family-title);
  1805. margin: 0px;
  1806. padding: 0px;
  1807. }
  1808. #projectnumber
  1809. {
  1810. font-size: 50%;
  1811. font-family: var(--font-family-title);
  1812. margin: 0px;
  1813. padding: 0px;
  1814. }
  1815. #titlearea
  1816. {
  1817. padding: 0 0 0 5px;
  1818. margin: 0px;
  1819. border-bottom: 1px solid var(--title-separator-color);
  1820. background-color: var(--title-background-color);
  1821. }
  1822. .image
  1823. {
  1824. text-align: center;
  1825. }
  1826. .dotgraph
  1827. {
  1828. text-align: center;
  1829. }
  1830. .mscgraph
  1831. {
  1832. text-align: center;
  1833. }
  1834. .plantumlgraph
  1835. {
  1836. text-align: center;
  1837. }
  1838. .diagraph
  1839. {
  1840. text-align: center;
  1841. }
  1842. .caption
  1843. {
  1844. font-weight: bold;
  1845. }
  1846. dl.citelist {
  1847. margin-bottom:50px;
  1848. }
  1849. dl.citelist dt {
  1850. color:var(--citation-label-color);
  1851. float:left;
  1852. font-weight:bold;
  1853. margin-right:10px;
  1854. padding:5px;
  1855. text-align:right;
  1856. width:52px;
  1857. }
  1858. dl.citelist dd {
  1859. margin:2px 0 2px 72px;
  1860. padding:5px 0;
  1861. }
  1862. div.toc {
  1863. padding: 14px 25px;
  1864. background-color: var(--toc-background-color);
  1865. border: 1px solid var(--toc-border-color);
  1866. border-radius: 7px 7px 7px 7px;
  1867. float: right;
  1868. height: auto;
  1869. margin: 0 8px 10px 10px;
  1870. width: 200px;
  1871. }
  1872. div.toc li {
  1873. background: var(--toc-down-arrow-image) no-repeat scroll 0 5px transparent;
  1874. font: 10px/1.2 var(--font-family-toc);
  1875. margin-top: 5px;
  1876. padding-left: 10px;
  1877. padding-top: 2px;
  1878. }
  1879. div.toc h3 {
  1880. font: bold 12px/1.2 var(--font-family-toc);
  1881. color: var(--toc-header-color);
  1882. border-bottom: 0 none;
  1883. margin: 0;
  1884. }
  1885. div.toc ul {
  1886. list-style: none outside none;
  1887. border: medium none;
  1888. padding: 0px;
  1889. }
  1890. div.toc li[class^='level'] {
  1891. margin-left: 15px;
  1892. }
  1893. div.toc li.level1 {
  1894. margin-left: 0px;
  1895. }
  1896. div.toc li.empty {
  1897. background-image: none;
  1898. margin-top: 0px;
  1899. }
  1900. span.emoji {
  1901. /* font family used at the site: https://unicode.org/emoji/charts/full-emoji-list.html
  1902. * font-family: "Noto Color Emoji", "Apple Color Emoji", "Segoe UI Emoji", Times, Symbola, Aegyptus, Code2000, Code2001, Code2002, Musica, serif, LastResort;
  1903. */
  1904. }
  1905. span.obfuscator {
  1906. display: none;
  1907. }
  1908. .inherit_header {
  1909. font-weight: 400;
  1910. cursor: pointer;
  1911. -webkit-touch-callout: none;
  1912. -webkit-user-select: none;
  1913. -khtml-user-select: none;
  1914. -moz-user-select: none;
  1915. -ms-user-select: none;
  1916. user-select: none;
  1917. }
  1918. .inherit_header td {
  1919. padding: 6px 0 2px 0;
  1920. }
  1921. .inherit {
  1922. display: none;
  1923. }
  1924. tr.heading h2 {
  1925. margin-top: 12px;
  1926. margin-bottom: 12px;
  1927. }
  1928. /* tooltip related style info */
  1929. .ttc {
  1930. position: absolute;
  1931. display: none;
  1932. }
  1933. #powerTip {
  1934. cursor: default;
  1935. color: var(--tooltip-foreground-color);
  1936. background-color: var(--tooltip-background-color);
  1937. backdrop-filter: var(--tooltip-backdrop-filter);
  1938. -webkit-backdrop-filter: var(--tooltip-backdrop-filter);
  1939. border: 1px solid var(--tooltip-border-color);
  1940. border-radius: 4px;
  1941. box-shadow: var(--tooltip-shadow);
  1942. display: none;
  1943. font-size: smaller;
  1944. max-width: 80%;
  1945. padding: 1ex 1em 1em;
  1946. position: absolute;
  1947. z-index: 2147483647;
  1948. }
  1949. #powerTip div.ttdoc {
  1950. color: var(--tooltip-doc-color);
  1951. font-style: italic;
  1952. }
  1953. #powerTip div.ttname a {
  1954. font-weight: bold;
  1955. }
  1956. #powerTip a {
  1957. color: var(--tooltip-link-color);
  1958. }
  1959. #powerTip div.ttname {
  1960. font-weight: bold;
  1961. }
  1962. #powerTip div.ttdeci {
  1963. color: var(--tooltip-declaration-color);
  1964. }
  1965. #powerTip div {
  1966. margin: 0px;
  1967. padding: 0px;
  1968. font-size: 12px;
  1969. font-family: var(--font-family-tooltip);
  1970. line-height: 16px;
  1971. }
  1972. #powerTip:before, #powerTip:after {
  1973. content: "";
  1974. position: absolute;
  1975. margin: 0px;
  1976. }
  1977. #powerTip.n:after, #powerTip.n:before,
  1978. #powerTip.s:after, #powerTip.s:before,
  1979. #powerTip.w:after, #powerTip.w:before,
  1980. #powerTip.e:after, #powerTip.e:before,
  1981. #powerTip.ne:after, #powerTip.ne:before,
  1982. #powerTip.se:after, #powerTip.se:before,
  1983. #powerTip.nw:after, #powerTip.nw:before,
  1984. #powerTip.sw:after, #powerTip.sw:before {
  1985. border: solid transparent;
  1986. content: " ";
  1987. height: 0;
  1988. width: 0;
  1989. position: absolute;
  1990. }
  1991. #powerTip.n:after, #powerTip.s:after,
  1992. #powerTip.w:after, #powerTip.e:after,
  1993. #powerTip.nw:after, #powerTip.ne:after,
  1994. #powerTip.sw:after, #powerTip.se:after {
  1995. border-color: rgba(255, 255, 255, 0);
  1996. }
  1997. #powerTip.n:before, #powerTip.s:before,
  1998. #powerTip.w:before, #powerTip.e:before,
  1999. #powerTip.nw:before, #powerTip.ne:before,
  2000. #powerTip.sw:before, #powerTip.se:before {
  2001. border-color: rgba(128, 128, 128, 0);
  2002. }
  2003. #powerTip.n:after, #powerTip.n:before,
  2004. #powerTip.ne:after, #powerTip.ne:before,
  2005. #powerTip.nw:after, #powerTip.nw:before {
  2006. top: 100%;
  2007. }
  2008. #powerTip.n:after, #powerTip.ne:after, #powerTip.nw:after {
  2009. border-top-color: var(--tooltip-arrow-background-color);
  2010. border-width: 10px;
  2011. margin: 0px -10px;
  2012. }
  2013. #powerTip.n:before, #powerTip.ne:before, #powerTip.nw:before {
  2014. border-top-color: var(--tooltip-border-color);
  2015. border-width: 11px;
  2016. margin: 0px -11px;
  2017. }
  2018. #powerTip.n:after, #powerTip.n:before {
  2019. left: 50%;
  2020. }
  2021. #powerTip.nw:after, #powerTip.nw:before {
  2022. right: 14px;
  2023. }
  2024. #powerTip.ne:after, #powerTip.ne:before {
  2025. left: 14px;
  2026. }
  2027. #powerTip.s:after, #powerTip.s:before,
  2028. #powerTip.se:after, #powerTip.se:before,
  2029. #powerTip.sw:after, #powerTip.sw:before {
  2030. bottom: 100%;
  2031. }
  2032. #powerTip.s:after, #powerTip.se:after, #powerTip.sw:after {
  2033. border-bottom-color: var(--tooltip-arrow-background-color);
  2034. border-width: 10px;
  2035. margin: 0px -10px;
  2036. }
  2037. #powerTip.s:before, #powerTip.se:before, #powerTip.sw:before {
  2038. border-bottom-color: var(--tooltip-border-color);
  2039. border-width: 11px;
  2040. margin: 0px -11px;
  2041. }
  2042. #powerTip.s:after, #powerTip.s:before {
  2043. left: 50%;
  2044. }
  2045. #powerTip.sw:after, #powerTip.sw:before {
  2046. right: 14px;
  2047. }
  2048. #powerTip.se:after, #powerTip.se:before {
  2049. left: 14px;
  2050. }
  2051. #powerTip.e:after, #powerTip.e:before {
  2052. left: 100%;
  2053. }
  2054. #powerTip.e:after {
  2055. border-left-color: var(--tooltip-border-color);
  2056. border-width: 10px;
  2057. top: 50%;
  2058. margin-top: -10px;
  2059. }
  2060. #powerTip.e:before {
  2061. border-left-color: var(--tooltip-border-color);
  2062. border-width: 11px;
  2063. top: 50%;
  2064. margin-top: -11px;
  2065. }
  2066. #powerTip.w:after, #powerTip.w:before {
  2067. right: 100%;
  2068. }
  2069. #powerTip.w:after {
  2070. border-right-color: var(--tooltip-border-color);
  2071. border-width: 10px;
  2072. top: 50%;
  2073. margin-top: -10px;
  2074. }
  2075. #powerTip.w:before {
  2076. border-right-color: var(--tooltip-border-color);
  2077. border-width: 11px;
  2078. top: 50%;
  2079. margin-top: -11px;
  2080. }
  2081. @media print
  2082. {
  2083. #top { display: none; }
  2084. #side-nav { display: none; }
  2085. #nav-path { display: none; }
  2086. body { overflow:visible; }
  2087. h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
  2088. .summary { display: none; }
  2089. .memitem { page-break-inside: avoid; }
  2090. #doc-content
  2091. {
  2092. margin-left:0 !important;
  2093. height:auto !important;
  2094. width:auto !important;
  2095. overflow:inherit;
  2096. display:inline;
  2097. }
  2098. }
  2099. /* @group Markdown */
  2100. table.markdownTable {
  2101. border-collapse:collapse;
  2102. margin-top: 4px;
  2103. margin-bottom: 4px;
  2104. }
  2105. table.markdownTable td, table.markdownTable th {
  2106. border: 1px solid var(--table-cell-border-color);
  2107. padding: 3px 7px 2px;
  2108. }
  2109. table.markdownTable tr {
  2110. }
  2111. th.markdownTableHeadLeft, th.markdownTableHeadRight, th.markdownTableHeadCenter, th.markdownTableHeadNone {
  2112. background-color: var(--table-header-background-color);
  2113. color: var(--table-header-foreground-color);
  2114. font-size: 110%;
  2115. padding-bottom: 4px;
  2116. padding-top: 5px;
  2117. }
  2118. th.markdownTableHeadLeft, td.markdownTableBodyLeft {
  2119. text-align: left
  2120. }
  2121. th.markdownTableHeadRight, td.markdownTableBodyRight {
  2122. text-align: right
  2123. }
  2124. th.markdownTableHeadCenter, td.markdownTableBodyCenter {
  2125. text-align: center
  2126. }
  2127. tt, code, kbd
  2128. {
  2129. display: inline-block;
  2130. }
  2131. tt, code, kbd
  2132. {
  2133. vertical-align: top;
  2134. }
  2135. /* @end */
  2136. u {
  2137. text-decoration: underline;
  2138. }
  2139. details>summary {
  2140. list-style-type: none;
  2141. }
  2142. details > summary::-webkit-details-marker {
  2143. display: none;
  2144. }
  2145. details>summary::before {
  2146. content: "\25bc";
  2147. padding-right:4px;
  2148. font-size: 80%;
  2149. display: inline-block;
  2150. transform: rotate(-90deg);
  2151. }
  2152. details[open]>summary::before {
  2153. content: "\25bc";
  2154. padding-right:4px;
  2155. font-size: 80%;
  2156. display: inline-block;
  2157. transform: rotate(0deg);
  2158. }
  2159. .spacer {
  2160. width: 16px;
  2161. display: inline-block;
  2162. }
  2163. #searchBoxPos1 {
  2164. position: absolute;
  2165. right: 8px;
  2166. top: 8px;
  2167. height: 36px;
  2168. }
  2169. #searchBoxPos2 {
  2170. float: right;
  2171. }
  2172. #splitbar {
  2173. -moz-user-select: none;
  2174. user-select: none;
  2175. }
  2176. .dynheader {
  2177. cursor: pointer;
  2178. }
  2179. .hidden {
  2180. display: none;
  2181. }
  2182. :root {
  2183. scrollbar-width: thin;
  2184. scrollbar-color: var(--scrollbar-thumb-color) var(--scrollbar-background-color);
  2185. }
  2186. :root.dark-mode {
  2187. color-scheme: dark;
  2188. }
  2189. ::-webkit-scrollbar {
  2190. background-color: var(--scrollbar-background-color);
  2191. height: 12px;
  2192. width: 12px;
  2193. }
  2194. ::-webkit-scrollbar-thumb {
  2195. border-radius: 6px;
  2196. box-shadow: inset 0 0 12px 12px var(--scrollbar-thumb-color);
  2197. border: solid 2px transparent;
  2198. }
  2199. ::-webkit-scrollbar-corner {
  2200. background-color: var(--scrollbar-background-color);
  2201. }