theme_overrides.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162
  1. /*
  2. SPDX-License-Identifier: CC-BY-2.0-UK
  3. */
  4. body {
  5. font-family: Verdana, Sans, sans-serif;
  6. margin: 0em auto;
  7. color: #333;
  8. }
  9. h1,h2,h3,h4,h5,h6,h7 {
  10. font-family: Arial, Sans;
  11. color: #00557D;
  12. clear: both;
  13. }
  14. h1 {
  15. font-size: 2em;
  16. text-align: left;
  17. padding: 0em 0em 0em 0em;
  18. margin: 2em 0em 0em 0em;
  19. }
  20. h2.subtitle {
  21. margin: 0.10em 0em 3.0em 0em;
  22. padding: 0em 0em 0em 0em;
  23. font-size: 1.8em;
  24. padding-left: 20%;
  25. font-weight: normal;
  26. font-style: italic;
  27. }
  28. h2 {
  29. margin: 2em 0em 0.66em 0em;
  30. padding: 0.5em 0em 0em 0em;
  31. font-size: 1.5em;
  32. font-weight: bold;
  33. }
  34. h3.subtitle {
  35. margin: 0em 0em 1em 0em;
  36. padding: 0em 0em 0em 0em;
  37. font-size: 142.14%;
  38. text-align: right;
  39. }
  40. h3 {
  41. margin: 1em 0em 0.5em 0em;
  42. padding: 1em 0em 0em 0em;
  43. font-size: 140%;
  44. font-weight: bold;
  45. }
  46. h4 {
  47. margin: 1em 0em 0.5em 0em;
  48. padding: 1em 0em 0em 0em;
  49. font-size: 120%;
  50. font-weight: bold;
  51. }
  52. h5 {
  53. margin: 1em 0em 0.5em 0em;
  54. padding: 1em 0em 0em 0em;
  55. font-size: 110%;
  56. font-weight: bold;
  57. }
  58. h6 {
  59. margin: 1em 0em 0em 0em;
  60. padding: 1em 0em 0em 0em;
  61. font-size: 110%;
  62. font-weight: bold;
  63. }
  64. em {
  65. font-weight: bold;
  66. }
  67. .pre {
  68. font-size: medium;
  69. font-family: Courier, monospace;
  70. }
  71. .wy-nav-content a {
  72. text-decoration: underline;
  73. color: #444;
  74. background: transparent;
  75. }
  76. .wy-nav-content a:hover {
  77. text-decoration: underline;
  78. background-color: #dedede;
  79. }
  80. .wy-nav-content a:visited {
  81. color: #444;
  82. }
  83. [alt='Permalink'] { color: #eee; }
  84. [alt='Permalink']:hover { color: black; }
  85. @media screen {
  86. /* content column
  87. *
  88. * RTD theme's default is 800px as max width for the content, but we have
  89. * tables with tons of columns, which need the full width of the view-port.
  90. */
  91. .wy-nav-content{max-width: none; }
  92. /* inline literal: drop the borderbox, padding and red color */
  93. code, .rst-content tt, .rst-content code {
  94. color: inherit;
  95. border: none;
  96. padding: unset;
  97. background: inherit;
  98. font-size: 85%;
  99. }
  100. .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
  101. color: inherit;
  102. }
  103. /* Admonition should be gray, not blue or green */
  104. .rst-content .note .admonition-title,
  105. .rst-content .tip .admonition-title,
  106. .rst-content .warning .admonition-title,
  107. .rst-content .caution .admonition-title,
  108. .rst-content .important .admonition-title {
  109. background: #f0f0f2;
  110. color: #00557D;
  111. }
  112. .rst-content .note,
  113. .rst-content .tip,
  114. .rst-content .important,
  115. .rst-content .warning,
  116. .rst-content .caution {
  117. background: #f0f0f2;
  118. }
  119. /* Remove the icon in front of note/tip element, and before the logo */
  120. .icon-home:before, .rst-content .admonition-title:before {
  121. display: none
  122. }
  123. /* a custom informalexample container is used in some doc */
  124. .informalexample {
  125. border: 1px solid;
  126. border-color: #aaa;
  127. margin: 1em 0em;
  128. padding: 1em;
  129. page-break-inside: avoid;
  130. }
  131. /* Remove the blue background in the top left corner, around the logo */
  132. .wy-side-nav-search {
  133. background: inherit;
  134. }
  135. }