theme.css 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254
  1. body {
  2. font-family: Helvetica Neue, Helvetica, Arial;
  3. background: rgb(244,215,201); /* Old browsers */
  4. background: -moz-linear-gradient(top, rgb(244,215,201) 0%, rgb(244,226,201) 100%); /* FF3.6-15 */
  5. background: -webkit-linear-gradient(top, rgb(244,215,201) 0%,rgb(244,226,201) 100%); /* Chrome10-25,Safari5.1-6 */
  6. background: linear-gradient(to bottom, rgb(244,215,201) 0%,rgb(244,226,201) 100%); /* W3C, IE10+, FF16+, Chrome26+, Opera12+, Safari7+ */
  7. margin-bottom: 100px;
  8. }
  9. .header {
  10. margin-top: 30px;
  11. }
  12. .header h1 {
  13. margin-top: 10px;
  14. }
  15. h4 {
  16. padding-bottom: 10px;
  17. }
  18. .prettyprinted {
  19. margin-top: 5px;
  20. border-top: none !important;
  21. border-bottom: none !important;
  22. border-right: none !important;
  23. border-left: 1px solid rgba(0,0,0,.1) !important;
  24. padding-left: 15px !important;
  25. word-wrap: break-word !important;
  26. overflow: default !important;
  27. text-overflow: default !important;
  28. }
  29. .tinted {
  30. background-color: #fff6b2;
  31. }
  32. .handle {
  33. cursor: grab;
  34. }
  35. code {
  36. color: #606;
  37. }
  38. .toc {
  39. background-color: rgb(255,255,255,0.5);
  40. border: solid #444 1px;
  41. padding: 20px;
  42. margin-left: auto;
  43. margin-right: auto;
  44. list-style: none;
  45. }
  46. .toc h5 {
  47. margin-top: 8px;
  48. }
  49. .list-group-item:hover {
  50. z-index: 0;
  51. }
  52. .input-section {
  53. background-color: rgb(255,255,255,0.5);
  54. padding: 20px;
  55. }
  56. .square-section {
  57. background-color: rgb(255,255,255,0.5);
  58. }
  59. .square {
  60. width: 20vw;
  61. height: 20vw;
  62. background-color: #00a2ff;
  63. margin-top: 2vw;
  64. margin-left: 2vw;
  65. display: inline-block;
  66. position: relative;
  67. }
  68. .swap-threshold-indicator {
  69. background-color: #0079bf;
  70. height: 100%;
  71. display: inline-block;
  72. }
  73. .inverted-swap-threshold-indicator {
  74. background-color: #0079bf;
  75. height: 100%;
  76. position: absolute;
  77. }
  78. .indicator-left {
  79. left: 0;
  80. top: 0;
  81. }
  82. .indicator-right {
  83. right: 0;
  84. bottom: 0;
  85. }
  86. .num-indicator {
  87. position: absolute;
  88. font-size: 50px;
  89. width: 25px;
  90. top: 50%;
  91. left: 50%;
  92. transform: translate(-50%, -50%);
  93. color: white;
  94. }
  95. .grid-square {
  96. width: 100px;
  97. height: 100px;
  98. display: inline-block;
  99. background-color: #fff;
  100. border: solid 1px rgb(0,0,0,0.2);
  101. padding: 10px;
  102. margin: 12px;
  103. }
  104. .nested-sortable, .nested-1, .nested-2, .nested-3 {
  105. margin-top: 5px;
  106. }
  107. .nested-1 {
  108. background-color: #e6e6e6;
  109. }
  110. .nested-2 {
  111. background-color: #cccccc;
  112. }
  113. .nested-3 {
  114. background-color: #b3b3b3;
  115. }
  116. .frameworks {
  117. background-color: rgb(255,255,255,0.5);
  118. border: solid rgb(0,0,0,0.3) 1px;
  119. padding: 20px;
  120. }
  121. .frameworks h3 {
  122. margin-top: 5px;
  123. }
  124. input[type=range] {
  125. -webkit-appearance: none;
  126. width: 100%;
  127. margin: 3.8px 0;
  128. }
  129. input[type=range]:focus {
  130. outline: none;
  131. }
  132. input[type=range]::-webkit-slider-runnable-track {
  133. width: 100%;
  134. height: 8.4px;
  135. cursor: pointer;
  136. box-shadow: 1px 1px 1px #000000, 0px 0px 1px #0d0d0d;
  137. background: rgba(48, 113, 169, 0);
  138. border-radius: 1.3px;
  139. border: 0.2px solid #010101;
  140. }
  141. input[type=range]::-webkit-slider-thumb {
  142. box-shadow: 0px 0px 0.9px #000000, 0px 0px 0px #0d0d0d;
  143. border: 1.3px solid rgba(0, 0, 0, 0.7);
  144. height: 16px;
  145. width: 16px;
  146. border-radius: 49px;
  147. background: #ffffff;
  148. cursor: pointer;
  149. -webkit-appearance: none;
  150. margin-top: -4px;
  151. }
  152. input[type=range]:focus::-webkit-slider-runnable-track {
  153. background: rgba(54, 126, 189, 0);
  154. }
  155. input[type=range]::-moz-range-track {
  156. width: 100%;
  157. height: 8.4px;
  158. cursor: pointer;
  159. box-shadow: 1px 1px 1px #000000, 0px 0px 1px #0d0d0d;
  160. background: rgba(48, 113, 169, 0);
  161. border-radius: 1.3px;
  162. border: 0.2px solid #010101;
  163. }
  164. input[type=range]::-moz-range-thumb {
  165. box-shadow: 0px 0px 0.9px #000000, 0px 0px 0px #0d0d0d;
  166. border: 1.3px solid rgba(0, 0, 0, 0.7);
  167. height: 16px;
  168. width: 16px;
  169. border-radius: 49px;
  170. background: #ffffff;
  171. cursor: pointer;
  172. }
  173. input[type=range]::-ms-track {
  174. width: 100%;
  175. height: 8.4px;
  176. cursor: pointer;
  177. background: transparent;
  178. border-color: transparent;
  179. color: transparent;
  180. }
  181. input[type=range]::-ms-fill-lower {
  182. background: rgba(42, 100, 149, 0);
  183. border: 0.2px solid #010101;
  184. border-radius: 2.6px;
  185. box-shadow: 1px 1px 1px #000000, 0px 0px 1px #0d0d0d;
  186. }
  187. input[type=range]::-ms-fill-upper {
  188. background: rgba(48, 113, 169, 0);
  189. border: 0.2px solid #010101;
  190. border-radius: 2.6px;
  191. box-shadow: 1px 1px 1px #000000, 0px 0px 1px #0d0d0d;
  192. }
  193. input[type=range]::-ms-thumb {
  194. box-shadow: 0px 0px 0.9px #000000, 0px 0px 0px #0d0d0d;
  195. border: 1.3px solid rgba(0, 0, 0, 0.7);
  196. height: 16px;
  197. width: 16px;
  198. border-radius: 49px;
  199. background: #ffffff;
  200. cursor: pointer;
  201. height: 8.4px;
  202. }
  203. input[type=range]:focus::-ms-fill-lower {
  204. background: rgba(48, 113, 169, 0);
  205. }
  206. input[type=range]:focus::-ms-fill-upper {
  207. background: rgba(54, 126, 189, 0);
  208. }
  209. .blue-background-class {
  210. background-color: #C8EBFB;
  211. }
  212. .col {
  213. padding-right: 0;
  214. margin-right: 15px;
  215. }
  216. .selected {
  217. background-color: #f9c7c8;
  218. border: solid red 1px !important;
  219. z-index: 1 !important;
  220. }
  221. .highlight {
  222. background-color: #B7F8C7;
  223. }