2
0

docs.css 6.0 KB

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