doxygen-extra.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100
  1. html.dark-mode {
  2. --page-background-color: #000410;
  3. --fragment-background-color: #192027;
  4. }
  5. div#top, div.header, div.contents {
  6. margin-left: auto;
  7. margin-right: auto;
  8. max-width: 960px;
  9. }
  10. .footer {
  11. display: none;
  12. }
  13. dl.todo dt::before {
  14. content: '🚧 ';
  15. }
  16. dl.note dd {
  17. margin-inline-start: revert;
  18. }
  19. span.todo::before {
  20. content: '🚧 ';
  21. }
  22. /* Append external links with a distinctive icon */
  23. a[href^="http://"]::after,
  24. a[href^="https://"]::after
  25. {
  26. content: "";
  27. width: 11px;
  28. height: 11px;
  29. margin-left: 4px;
  30. background-color: var(--page-link-color);
  31. /* Bootstrap icon: https://icons.getbootstrap.com/icons/box-arrow-up-right/ */
  32. mask: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' fill='currentColor' class='bi bi-box-arrow-up-right' viewBox='0 0 16 16'%3E%3Cpath fill-rule='evenodd' d='M8.636 3.5a.5.5 0 0 0-.5-.5H1.5A1.5 1.5 0 0 0 0 4.5v10A1.5 1.5 0 0 0 1.5 16h10a1.5 1.5 0 0 0 1.5-1.5V7.864a.5.5 0 0 0-1 0V14.5a.5.5 0 0 1-.5.5h-10a.5.5 0 0 1-.5-.5v-10a.5.5 0 0 1 .5-.5h6.636a.5.5 0 0 0 .5-.5z'/%3E%3Cpath fill-rule='evenodd' d='M16 .5a.5.5 0 0 0-.5-.5h-5a.5.5 0 0 0 0 1h3.793L6.146 9.146a.5.5 0 1 0 .708.708L15 1.707V5.5a.5.5 0 0 0 1 0v-5z'/%3E%3C/svg%3E");
  33. mask-position: center;
  34. mask-repeat: no-repeat;
  35. mask-size: contain;
  36. display: inline-block;
  37. }
  38. code {
  39. padding: .2em .4em;
  40. margin: 0;
  41. vertical-align: baseline;
  42. font-family: var(--font-family-monospace);
  43. font-size: 85%;
  44. white-space: break-spaces;
  45. background-color: var(--fragment-background-color);
  46. color: var(--fragment-foreground-color);
  47. border-radius: 6px;
  48. }
  49. /*******************************************************************************
  50. * Error index
  51. ******************************************************************************/
  52. div.example-container {
  53. display: flex;
  54. flex-flow: row wrap;
  55. justify-content: space-between;
  56. gap: 1em;
  57. }
  58. div.example {
  59. flex-grow: 1;
  60. overflow-x: auto;
  61. margin-top: 1em;
  62. }
  63. div.example-inner {
  64. height: 100%;
  65. display: flex;
  66. flex-direction: column;
  67. }
  68. div.example-title {
  69. padding: 0 0 1em 0;
  70. font-style: italic;
  71. }
  72. div.example table code {
  73. /* Allow to keep 2 examples side by side */
  74. font-size: 0.72rem;
  75. }
  76. div.example figure {
  77. margin: 0;
  78. }
  79. figcaption {
  80. font-style: italic;
  81. }
  82. figcaption p {
  83. margin: 0;
  84. }