docs.css 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322
  1. body {
  2. font-family: -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol",sans-serif;
  3. line-height: 1.4em;
  4. }
  5. code, pre {
  6. background-color:#f0f0f3;
  7. font-family: SFMono-Regular,Menlo,Monaco,Consolas,monospace;
  8. font-size: 0.85em;
  9. line-height: unset;
  10. }
  11. div.body {
  12. padding: 0 40px 40px 40px;
  13. line-height: unset;
  14. min-height: 100vh;
  15. }
  16. div.body h1,
  17. div.body h2,
  18. div.body h3,
  19. div.body h4,
  20. div.body h5,
  21. div.body h6 {
  22. border: none;
  23. font-weight: 600;
  24. margin: unset;
  25. padding: 0;
  26. }
  27. div.body h1 {
  28. font-weight: 300;
  29. font-size: 2.5em;
  30. padding-top: 1em;
  31. margin-bottom: 1em;
  32. line-height: 1;
  33. }
  34. div.body h2 {
  35. font-size: 1.5em;
  36. margin-top: 1.5em;
  37. }
  38. div.body h3 {
  39. font-size: 1.2em;
  40. }
  41. div.body p,
  42. div.body dd,
  43. div.body li,
  44. div.body blockquote {
  45. line-height: unset;
  46. text-align: unset;
  47. }
  48. div.body li {
  49. margin: 0.5em 0;
  50. }
  51. div.body li li {
  52. margin: 0.1em 0;
  53. }
  54. div.bodywrapper {
  55. background-color:#f0f0f3;
  56. margin: 0 0 0 300px;
  57. }
  58. div.related {
  59. line-height: unset;
  60. padding: 20px 0;
  61. border-bottom: 1px solid #ddd;
  62. }
  63. div.related ul {
  64. padding: 0;
  65. }
  66. div.body li.nav-item {
  67. margin-left: 0.5em;
  68. }
  69. div.body li.nav-item a {
  70. margin-right: 0.5em;
  71. }
  72. div.related a,
  73. div.sphinxsidebar .toctree-l1 a,
  74. div.sphinxsidebar .topless a,
  75. div.prevnext a {
  76. border-bottom: 3px solid transparent;
  77. transition: 0.2s ease all;
  78. }
  79. div.related a:hover,
  80. div.sphinxsidebar .toctree-l1 a:hover,
  81. div.sphinxsidebar .topless a:hover,
  82. div.prevnext a:hover {
  83. border-bottom: 3px solid #0aa;
  84. text-decoration: none;
  85. transition: 0.2s ease all;
  86. }
  87. div.logowrapper {
  88. margin: -20px -20px 40px -20px;
  89. padding: 20px;
  90. background-color: #d33;
  91. text-align: center;
  92. }
  93. p.logo {
  94. padding: 10px 20px;
  95. font-size: 1.5em;
  96. }
  97. div.sphinxsidebar div.logowrapper p,
  98. div.sphinxsidebar div.logowrapper a {
  99. color: #fff;
  100. }
  101. p.version {
  102. margin: 0 0 10px 0;
  103. font-size: 1rem;
  104. }
  105. code {
  106. padding: 0.1em 0.5em;
  107. border-radius: 4px;
  108. }
  109. pre {
  110. padding: 15px;
  111. border: none;
  112. border-radius: 4px;
  113. line-height: 1.2em;
  114. }
  115. a.headerlink {
  116. color: #0aa;
  117. margin-left: 0.3em;
  118. }
  119. a.headerlink:hover {
  120. background-color: #0aa;
  121. color: #fff;
  122. }
  123. div.sphinxsidebarwrapper {
  124. padding: 0;
  125. }
  126. div.sphinxsidebar {
  127. padding: 20px;
  128. }
  129. div.sphinxsidebar h3 {
  130. margin-top: 40px;
  131. font-size: 1.6em;
  132. font-weight: 300;
  133. }
  134. div.sphinxsidebar input {
  135. font-family: inherit;
  136. border: none;
  137. }
  138. div.sphinxsidebar #searchbox input[type='text'] {
  139. background-color: rgba(255,255,255,0.1);
  140. color: #fff;
  141. padding: 0.5em 0.8em;
  142. transition: .2s ease all;
  143. }
  144. div.sphinxsidebar #searchbox input[type='text']:focus {
  145. background-color: rgba(255,255,255,0.2);
  146. transition: .2s ease all;
  147. }
  148. div.sphinxsidebar #searchbox input[type='text']::placeholder {
  149. color: #fff;
  150. opacity: .7;
  151. }
  152. div.sphinxsidebar #searchbox input[type='text']::-ms-input-placeholder {
  153. color: #fff;
  154. opacity: .7;
  155. }
  156. div.sphinxsidebar #searchbox input[type='submit'] {
  157. background-color: rgba(255,255,255,0.3);
  158. color: #fff;
  159. padding: 0.5em 0.8em;
  160. font-weight: 600;
  161. transition: .2s ease all;
  162. }
  163. div.sphinxsidebar #searchbox input[type='submit']:hover,
  164. div.sphinxsidebar #searchbox input[type='submit']:focus {
  165. background-color: #0aa;
  166. transition: .2s ease all;
  167. }
  168. div.sphinxsidebar ul {
  169. line-height: 1em;
  170. margin: 0;
  171. }
  172. div.sphinxsidebar ul ul, div.sphinxsidebar ul.want-points {
  173. list-style-type: disc;
  174. }
  175. div.sphinxsidebar ul ul li {
  176. margin-top: 0.7em;
  177. margin-bottom: 0.7em;
  178. }
  179. div.sphinxsidebar li.toctree-l1,
  180. div.sphinxsidebar p.topless {
  181. margin: 1em 0;
  182. }
  183. div.sphinxsidebar li.toctree-l1.current > a,
  184. div.sphinxsidebar a.current.reference {
  185. color: #fff;
  186. font-weight: 600;
  187. }
  188. #other-versions a {
  189. background-color: rgba(255,255,255,0.1);
  190. border-radius: 4px;
  191. font-weight: 600;
  192. padding: 0.1em 0.5em;
  193. margin: 0.25em;
  194. transition: .2s ease all;
  195. }
  196. #other-versions a:hover {
  197. background-color: rgba(255,255,255,0.2);
  198. transition: .2s ease all;
  199. }
  200. div.prevnext {
  201. border-top: 1px solid #ddd;
  202. border-bottom: 1px solid #ddd;
  203. margin: 40px 0;
  204. padding: 20px 0;
  205. }
  206. div.prevnext a {
  207. color:#888;
  208. }
  209. div.prevnext .item.right {
  210. float: right;
  211. text-align: right;
  212. }
  213. div.prevnext .item.left {
  214. float: left;
  215. text-align: left;
  216. }
  217. div.footer {
  218. font-size: 0.8em;
  219. }
  220. .clearfix {
  221. clear: both;
  222. }
  223. div.admonition {
  224. background-color: #fafcff;
  225. border-color: #d0e0f0;
  226. border-radius: 4px;
  227. border-width: 1.5px;
  228. color: #248;
  229. padding: 1em;
  230. }
  231. div.admonition code {
  232. background-color: #edeff2;
  233. }
  234. div.admonition.warning {
  235. background-color:#fffcfa;
  236. border-color:#f0e0d0;
  237. color:#842;
  238. }
  239. div.admonition.warning code {
  240. background-color: #f5e5d5;
  241. }
  242. div.figure img {
  243. box-shadow: 0 0 20px rgba(0, 0, 0, 0.5);
  244. margin: 20px 0 0 0;
  245. }
  246. div.figure p.caption {
  247. padding: 0 0 20px 0;
  248. font-style: italic;
  249. color: #666;
  250. }
  251. .mobile-header {
  252. display:none;
  253. background-color: #d33;
  254. color: #fff;
  255. text-align: center;
  256. font-weight: bold;
  257. padding: 15px;
  258. }
  259. .mobile-header a {
  260. color: inherit;
  261. }
  262. /** Responsive utilities **/
  263. @media(max-width: 800px) {
  264. html * {
  265. box-sizing: border-box;
  266. }
  267. div.sphinxsidebar {
  268. width: 100%;
  269. margin: 0;
  270. }
  271. div.bodywrapper {
  272. margin: 0;
  273. }
  274. div.body {
  275. padding: 10px;
  276. min-height: unset;
  277. min-width: 100%;
  278. max-width: 100%;
  279. width: 100%;
  280. }
  281. div.body h1 {
  282. font-size: 1.7em;
  283. }
  284. div.body h2 {
  285. font-size: 1.3em;
  286. }
  287. div.body h3 {
  288. font-size: 1.1em;
  289. }
  290. div.logowrapper {
  291. padding: 40px 20px;
  292. }
  293. .mobile-header {
  294. display: block;
  295. }
  296. }