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.

161 lines
2.6 KiB

5 years ago
  1. <!DOCTYPE html>
  2. <html class="ocks-org do-not-copy">
  3. <head>
  4. <meta charset="utf-8">
  5. <title>Comprehensive Python Cheatsheet</title>
  6. <script src="https://code.jquery.com/jquery-3.3.1.min.js"></script>
  7. <script src="https://d3js.org/d3.v3.min.js" charset="utf-8"></script>
  8. <script src="web/showdown.min.js"></script>
  9. <link rel="stylesheet" href="web/default.min.css">
  10. <script src="web/highlight.min.js"></script>
  11. <script src="web/script.js"></script>
  12. </head>
  13. <style>
  14. @import url(web/style.css);
  15. .join,
  16. .link,
  17. .node rect {
  18. fill: none;
  19. stroke: #636363;
  20. stroke-width: 1.5px;
  21. }
  22. .link {
  23. stroke: #969696;
  24. }
  25. .node rect {
  26. fill: white;
  27. }
  28. .link path,
  29. .node rect,
  30. .node text,
  31. .join {
  32. -webkit-transition: stroke-opacity 500ms linear, fill-opacity 500ms linear;
  33. -moz-transition: stroke-opacity 500ms linear, fill-opacity 500ms linear;
  34. -ms-transition: stroke-opacity 500ms linear, fill-opacity 500ms linear;
  35. -o-transition: stroke-opacity 500ms linear, fill-opacity 500ms linear;
  36. transition: stroke-opacity 500ms linear, fill-opacity 500ms linear;
  37. }
  38. .node .element rect {
  39. fill: #bdbdbd;
  40. stroke: none;
  41. }
  42. .node .null rect {
  43. fill: none;
  44. stroke: none;
  45. }
  46. .node .null text {
  47. fill: #636363;
  48. }
  49. .node .selection rect {
  50. stroke: #e6550d;
  51. }
  52. .node .data rect {
  53. stroke: #3182bd;
  54. }
  55. .node .datum rect {
  56. fill: #d9d9d9;
  57. stroke: none;
  58. }
  59. .node .code text {
  60. font-family: monospace;
  61. }
  62. .node .key rect {
  63. fill: #a1d99b;
  64. stroke: none;
  65. }
  66. .link .to-key,
  67. .join {
  68. stroke: #a1d99b;
  69. }
  70. .join {
  71. stroke-dasharray: 2,2;
  72. }
  73. .link .to-null {
  74. stroke-dasharray: .5,3.5;
  75. stroke-linecap: round;
  76. }
  77. .link .from-data {
  78. stroke: #3182bd;
  79. }
  80. .play circle {
  81. fill: #fff;
  82. stroke: #000;
  83. stroke-width: 3px;
  84. }
  85. .play:hover path {
  86. fill: #f00;
  87. }
  88. .play.mousedown circle {
  89. fill: #f00;
  90. }
  91. .play.mousedown path {
  92. fill: #fff;
  93. }
  94. .play rect {
  95. fill: none;
  96. pointer-events: all;
  97. cursor: pointer;
  98. }
  99. code span {
  100. -webkit-transition: background 250ms linear;
  101. -moz-transition: background 250ms linear;
  102. -ms-transition: background 250ms linear;
  103. -o-transition: background 250ms linear;
  104. transition: background 250ms linear;
  105. }
  106. pre.prettyprint, code.prettyprint {
  107. background-color: #222;
  108. border-radius: 8px;
  109. font-size: 15px;
  110. }
  111. pre.prettyprint {
  112. width: 90%;
  113. margin: 0.5em;
  114. padding: 1em;
  115. white-space: pre-wrap;
  116. }
  117. </style>
  118. <body>
  119. <header>
  120. <aside>March 14, 2018</aside>
  121. <a href="../" rel="author">Jure Šorn</a>
  122. </header>
  123. <div id=main_container></div>
  124. <footer>
  125. <aside>March 14, 2018</aside>
  126. <a href="../" rel="author">Jure Šorn</a>
  127. </footer>
  128. <br>
  129. <br>
  130. <br>
  131. </body>
  132. </html>