Python Library State Machine
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

alabaster.css 9.3KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607
  1. @import url("basic.css");
  2. /* -- page layout ----------------------------------------------------------- */
  3. body {
  4. font-family: 'goudy old style', 'minion pro', 'bell mt', Georgia, 'Hiragino Mincho Pro', serif;
  5. font-size: 17px;
  6. background-color: white;
  7. color: #000;
  8. margin: 0;
  9. padding: 0;
  10. }
  11. div.document {
  12. width: auto;
  13. margin: 30px auto 0 auto;
  14. }
  15. div.documentwrapper {
  16. float: left;
  17. width: 100%;
  18. }
  19. div.bodywrapper {
  20. margin: 0 0 0 220px;
  21. }
  22. div.sphinxsidebar {
  23. width: 220px;
  24. font-size: 14px;
  25. line-height: 1.5;
  26. }
  27. hr {
  28. border: 1px solid #B1B4B6;
  29. }
  30. div.body {
  31. background-color: #ffffff;
  32. color: #3E4349;
  33. padding: 0 30px 0 30px;
  34. }
  35. div.body > .section {
  36. text-align: left;
  37. }
  38. div.footer {
  39. width: auto;
  40. margin: 20px auto 30px auto;
  41. font-size: 14px;
  42. color: #888;
  43. text-align: right;
  44. }
  45. div.footer a {
  46. color: #888;
  47. }
  48. p.caption {
  49. font-family: ;
  50. font-size: inherit;
  51. }
  52. div.relations {
  53. display: none;
  54. }
  55. div.sphinxsidebar a {
  56. color: #444;
  57. text-decoration: none;
  58. border-bottom: 1px dotted #999;
  59. }
  60. div.sphinxsidebar a:hover {
  61. border-bottom: 1px solid #999;
  62. }
  63. div.sphinxsidebarwrapper {
  64. padding: 18px 10px;
  65. }
  66. div.sphinxsidebarwrapper p.logo {
  67. padding: 0;
  68. margin: -10px 0 0 0px;
  69. text-align: center;
  70. }
  71. div.sphinxsidebarwrapper h1.logo {
  72. margin-top: -10px;
  73. text-align: center;
  74. margin-bottom: 5px;
  75. text-align: left;
  76. }
  77. div.sphinxsidebarwrapper h1.logo-name {
  78. margin-top: 0px;
  79. }
  80. div.sphinxsidebarwrapper p.blurb {
  81. margin-top: 0;
  82. font-style: normal;
  83. }
  84. div.sphinxsidebar h3,
  85. div.sphinxsidebar h4 {
  86. font-family: 'Garamond', 'Georgia', serif;
  87. color: #444;
  88. font-size: 24px;
  89. font-weight: normal;
  90. margin: 0 0 5px 0;
  91. padding: 0;
  92. }
  93. div.sphinxsidebar h4 {
  94. font-size: 20px;
  95. }
  96. div.sphinxsidebar h3 a {
  97. color: #444;
  98. }
  99. div.sphinxsidebar p.logo a,
  100. div.sphinxsidebar h3 a,
  101. div.sphinxsidebar p.logo a:hover,
  102. div.sphinxsidebar h3 a:hover {
  103. border: none;
  104. }
  105. div.sphinxsidebar p {
  106. color: #555;
  107. margin: 10px 0;
  108. }
  109. div.sphinxsidebar ul {
  110. margin: 10px 0;
  111. padding: 0;
  112. color: #000;
  113. }
  114. div.sphinxsidebar ul li.toctree-l1 > a {
  115. font-size: 120%;
  116. }
  117. div.sphinxsidebar ul li.toctree-l2 > a {
  118. font-size: 110%;
  119. }
  120. div.sphinxsidebar input {
  121. border: 1px solid #CCC;
  122. font-family: 'goudy old style', 'minion pro', 'bell mt', Georgia, 'Hiragino Mincho Pro', serif;
  123. font-size: 1em;
  124. }
  125. div.sphinxsidebar hr {
  126. border: none;
  127. height: 1px;
  128. color: #AAA;
  129. background: #AAA;
  130. text-align: left;
  131. margin-left: 0;
  132. width: 50%;
  133. }
  134. /* -- body styles ----------------------------------------------------------- */
  135. a {
  136. color: #004B6B;
  137. text-decoration: underline;
  138. }
  139. a:hover {
  140. color: #6D4100;
  141. text-decoration: underline;
  142. }
  143. div.body h1,
  144. div.body h2,
  145. div.body h3,
  146. div.body h4,
  147. div.body h5,
  148. div.body h6 {
  149. font-family: 'Garamond', 'Georgia', serif;
  150. font-weight: normal;
  151. margin: 30px 0px 10px 0px;
  152. padding: 0;
  153. }
  154. div.body h1 { margin-top: 0; padding-top: 0; font-size: 240%; }
  155. div.body h2 { font-size: 180%; }
  156. div.body h3 { font-size: 150%; }
  157. div.body h4 { font-size: 130%; }
  158. div.body h5 { font-size: 100%; }
  159. div.body h6 { font-size: 100%; }
  160. a.headerlink {
  161. color: #DDD;
  162. padding: 0 4px;
  163. text-decoration: none;
  164. }
  165. a.headerlink:hover {
  166. color: #444;
  167. background: #EAEAEA;
  168. }
  169. div.body p, div.body dd, div.body li {
  170. line-height: 1.4em;
  171. }
  172. div.admonition {
  173. margin: 20px 0px;
  174. padding: 10px 30px;
  175. background-color: #FCC;
  176. border: 1px solid #FAA;
  177. }
  178. div.admonition tt.xref, div.admonition a tt {
  179. border-bottom: 1px solid #fafafa;
  180. }
  181. dd div.admonition {
  182. margin-left: -60px;
  183. padding-left: 60px;
  184. }
  185. div.admonition p.admonition-title {
  186. font-family: 'Garamond', 'Georgia', serif;
  187. font-weight: normal;
  188. font-size: 24px;
  189. margin: 0 0 10px 0;
  190. padding: 0;
  191. line-height: 1;
  192. }
  193. div.admonition p.last {
  194. margin-bottom: 0;
  195. }
  196. div.highlight {
  197. background-color: white;
  198. }
  199. dt:target, .highlight {
  200. background: #FAF3E8;
  201. }
  202. div.note {
  203. background-color: #EEE;
  204. border: 1px solid #CCC;
  205. }
  206. div.seealso {
  207. background-color: #EEE;
  208. border: 1px solid #CCC;
  209. }
  210. div.topic {
  211. background-color: #eee;
  212. }
  213. p.admonition-title {
  214. display: inline;
  215. }
  216. p.admonition-title:after {
  217. content: ":";
  218. }
  219. pre, tt, code {
  220. font-family: 'Consolas', 'Menlo', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
  221. font-size: 0.9em;
  222. }
  223. .hll {
  224. background-color: #FFC;
  225. margin: 0 -12px;
  226. padding: 0 12px;
  227. display: block;
  228. }
  229. img.screenshot {
  230. }
  231. tt.descname, tt.descclassname, code.descname, code.descclassname {
  232. font-size: 0.95em;
  233. }
  234. tt.descname, code.descname {
  235. padding-right: 0.08em;
  236. }
  237. img.screenshot {
  238. -moz-box-shadow: 2px 2px 4px #eee;
  239. -webkit-box-shadow: 2px 2px 4px #eee;
  240. box-shadow: 2px 2px 4px #eee;
  241. }
  242. table.docutils {
  243. border: 1px solid #888;
  244. -moz-box-shadow: 2px 2px 4px #eee;
  245. -webkit-box-shadow: 2px 2px 4px #eee;
  246. box-shadow: 2px 2px 4px #eee;
  247. }
  248. table.docutils td, table.docutils th {
  249. border: 1px solid #888;
  250. padding: 0.25em 0.7em;
  251. }
  252. table.field-list, table.footnote {
  253. border: none;
  254. -moz-box-shadow: none;
  255. -webkit-box-shadow: none;
  256. box-shadow: none;
  257. }
  258. table.footnote {
  259. margin: 15px 0;
  260. width: 100%;
  261. border: 1px solid #EEE;
  262. background: #FDFDFD;
  263. font-size: 0.9em;
  264. }
  265. table.footnote + table.footnote {
  266. margin-top: -15px;
  267. border-top: none;
  268. }
  269. table.field-list th {
  270. padding: 0 0.8em 0 0;
  271. }
  272. table.field-list td {
  273. padding: 0;
  274. }
  275. table.field-list p {
  276. margin-bottom: 0.8em;
  277. }
  278. table.footnote td.label {
  279. width: .1px;
  280. padding: 0.3em 0 0.3em 0.5em;
  281. }
  282. table.footnote td {
  283. padding: 0.3em 0.5em;
  284. }
  285. dl {
  286. margin: 0;
  287. padding: 0;
  288. }
  289. dl dd {
  290. margin-left: 30px;
  291. }
  292. blockquote {
  293. margin: 0 0 0 30px;
  294. padding: 0;
  295. }
  296. ul, ol {
  297. /* Matches the 30px from the narrow-screen "li > ul" selector below */
  298. margin: 10px 0 10px 30px;
  299. padding: 0;
  300. }
  301. pre {
  302. background: #EEE;
  303. padding: 7px 30px;
  304. margin: 15px 0px;
  305. line-height: 1.3em;
  306. }
  307. dl pre, blockquote pre, li pre {
  308. margin-left: 0;
  309. padding-left: 30px;
  310. }
  311. dl dl pre {
  312. margin-left: -90px;
  313. padding-left: 90px;
  314. }
  315. tt, code {
  316. background-color: #ecf0f3;
  317. color: #222;
  318. /* padding: 1px 2px; */
  319. }
  320. tt.xref, code.xref, a tt {
  321. background-color: #FBFBFB;
  322. border-bottom: 1px solid white;
  323. }
  324. a.reference {
  325. text-decoration: none;
  326. border-bottom: 1px dotted #004B6B;
  327. }
  328. /* Don't put an underline on images */
  329. a.image-reference, a.image-reference:hover {
  330. border-bottom: none;
  331. }
  332. a.reference:hover {
  333. border-bottom: 1px solid #6D4100;
  334. }
  335. a.footnote-reference {
  336. text-decoration: none;
  337. font-size: 0.7em;
  338. vertical-align: top;
  339. border-bottom: 1px dotted #004B6B;
  340. }
  341. a.footnote-reference:hover {
  342. border-bottom: 1px solid #6D4100;
  343. }
  344. a:hover tt, a:hover code {
  345. background: #EEE;
  346. }
  347. @media screen and (max-width: 870px) {
  348. div.sphinxsidebar {
  349. display: none;
  350. }
  351. div.document {
  352. width: 100%;
  353. }
  354. div.documentwrapper {
  355. margin-left: 0;
  356. margin-top: 0;
  357. margin-right: 0;
  358. margin-bottom: 0;
  359. }
  360. div.bodywrapper {
  361. margin-top: 0;
  362. margin-right: 0;
  363. margin-bottom: 0;
  364. margin-left: 0;
  365. }
  366. ul {
  367. margin-left: 0;
  368. }
  369. li > ul {
  370. /* Matches the 30px from the "ul, ol" selector above */
  371. margin-left: 30px;
  372. }
  373. .document {
  374. width: auto;
  375. }
  376. .footer {
  377. width: auto;
  378. }
  379. .bodywrapper {
  380. margin: 0;
  381. }
  382. .footer {
  383. width: auto;
  384. }
  385. .github {
  386. display: none;
  387. }
  388. }
  389. @media screen and (max-width: 875px) {
  390. body {
  391. margin: 0;
  392. padding: 20px 30px;
  393. }
  394. div.documentwrapper {
  395. float: none;
  396. background: white;
  397. }
  398. div.sphinxsidebar {
  399. display: block;
  400. float: none;
  401. width: 102.5%;
  402. margin: 50px -30px -20px -30px;
  403. padding: 10px 20px;
  404. background: #333;
  405. color: #FFF;
  406. }
  407. div.sphinxsidebar h3, div.sphinxsidebar h4, div.sphinxsidebar p,
  408. div.sphinxsidebar h3 a {
  409. color: white;
  410. }
  411. div.sphinxsidebar a {
  412. color: #AAA;
  413. }
  414. div.sphinxsidebar p.logo {
  415. display: none;
  416. }
  417. div.document {
  418. width: 100%;
  419. margin: 0;
  420. }
  421. div.footer {
  422. display: none;
  423. }
  424. div.bodywrapper {
  425. margin: 0;
  426. }
  427. div.body {
  428. min-height: 0;
  429. padding: 0;
  430. }
  431. .rtd_doc_footer {
  432. display: none;
  433. }
  434. .document {
  435. width: auto;
  436. }
  437. .footer {
  438. width: auto;
  439. }
  440. .footer {
  441. width: auto;
  442. }
  443. .github {
  444. display: none;
  445. }
  446. }
  447. /* misc. */
  448. .revsys-inline {
  449. display: none!important;
  450. }
  451. /* Make nested-list/multi-paragraph items look better in Releases changelog
  452. * pages. Without this, docutils' magical list fuckery causes inconsistent
  453. * formatting between different release sub-lists.
  454. */
  455. div#changelog > div.section > ul > li > p:only-child {
  456. margin-bottom: 0;
  457. }
  458. /* Hide fugly table cell borders in ..bibliography:: directive output */
  459. table.docutils.citation, table.docutils.citation td, table.docutils.citation th {
  460. border: none;
  461. /* Below needed in some edge cases; if not applied, bottom shadows appear */
  462. -moz-box-shadow: none;
  463. -webkit-box-shadow: none;
  464. box-shadow: none;
  465. }