style.css 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  1. html,
  2. body {
  3. max-width: 100%;
  4. overflow-x: hidden;
  5. background-color: #f8f8f8;
  6. font-family: "Fira Sans", Roboto, -apple-system, "Helvetica Neue", Helvetica, Arial, sans-serif;
  7. }
  8. .browser-window {
  9. font-family: Roboto, -apple-system, "Helvetica Neue", Helvetica, Arial, sans-serif;
  10. }
  11. .bash-window code,
  12. .python-window code {
  13. font-family: "Fira Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New",
  14. monospace;
  15. }
  16. em:not(.browser-window *) {
  17. font-style: normal;
  18. color: #5898d4;
  19. }
  20. a:link:not(.browser-window *),
  21. a:visited:not(.browser-window *) {
  22. color: inherit !important;
  23. text-decoration: none;
  24. }
  25. a:hover:not(.browser-window *),
  26. a:active:not(.browser-window *) {
  27. opacity: 0.85;
  28. }
  29. .bold-links a:link {
  30. font-weight: 500;
  31. }
  32. .arrow-links a:link:not(.auto-link)::after {
  33. content: "north_east";
  34. font-family: "Material Icons";
  35. font-weight: 100;
  36. vertical-align: -10%;
  37. }
  38. .q-header {
  39. height: 70px;
  40. background-color: #5898d4;
  41. }
  42. .q-header.fade {
  43. padding-top: 20px;
  44. transform: translateY(-20px);
  45. background-color: #5898d4d0;
  46. backdrop-filter: blur(5px);
  47. }
  48. .scroll-indicator:after {
  49. content: "";
  50. display: block;
  51. width: 24px;
  52. height: 24px;
  53. margin: 8px;
  54. border-left: 3px solid #444;
  55. border-bottom: 3px solid #444;
  56. -webkit-transform: rotate(-45deg);
  57. transform: rotate(-45deg);
  58. -webkit-animation: sdb04 2s infinite;
  59. animation: sdb04 1.5s infinite;
  60. transition-timing-function: ease;
  61. }
  62. @-webkit-keyframes sdb04 {
  63. 0% {
  64. -webkit-transform: rotate(-45deg) translate(0, 0);
  65. }
  66. 15% {
  67. -webkit-transform: rotate(-45deg) translate(-10px, 10px);
  68. }
  69. 30% {
  70. -webkit-transform: rotate(-45deg) translate(0, 0);
  71. }
  72. }
  73. @keyframes sdb04 {
  74. 0% {
  75. transform: rotate(-45deg) translate(0, 0);
  76. }
  77. 15% {
  78. transform: rotate(-45deg) translate(-10px, 10px);
  79. }
  80. 30% {
  81. transform: rotate(-45deg) translate(0, 0);
  82. }
  83. }
  84. dl.field-list {
  85. display: grid;
  86. grid-template-columns: max-content auto;
  87. margin: 1em 0;
  88. }
  89. dl.field-list dt {
  90. grid-column-start: 1;
  91. margin-right: 1em;
  92. font-weight: 500;
  93. }
  94. dl.field-list dd {
  95. grid-column-start: 2;
  96. }
  97. dl.field-list p {
  98. margin-bottom: 0;
  99. }
  100. .dark-box {
  101. background-color: #5898d4;
  102. width: 100%;
  103. }
  104. @media only screen and (min-width: 1024px) {
  105. html {
  106. /* prevent issues with smooth scrolling while menu is closing */
  107. scroll-behavior: smooth;
  108. }
  109. }
  110. /* google-webfonts-helper (https://gwfh.mranftl.com/fonts) */
  111. /* fira-sans-regular - latin */
  112. @font-face {
  113. font-family: "Fira Sans";
  114. font-style: normal;
  115. font-weight: 400;
  116. src: url("../fonts/fira-sans-v16-latin-regular.eot"); /* IE9 Compat Modes */
  117. src: local(""), url("../fonts/fira-sans-v16-latin-regular.eot?#iefix") format("embedded-opentype"),
  118. /* IE6-IE8 */ url("../fonts/fira-sans-v16-latin-regular.woff2") format("woff2"),
  119. /* Super Modern Browsers */ url("../fonts/fira-sans-v16-latin-regular.woff") format("woff"),
  120. /* Modern Browsers */ url("../fonts/fira-sans-v16-latin-regular.ttf") format("truetype"),
  121. /* Safari, Android, iOS */ url("../fonts/fira-sans-v16-latin-regular.svg#FiraSans") format("svg"); /* Legacy iOS */
  122. }
  123. /* fira-sans-500 - latin */
  124. @font-face {
  125. font-family: "Fira Sans";
  126. font-style: normal;
  127. font-weight: 500;
  128. src: url("../fonts/fira-sans-v16-latin-500.eot"); /* IE9 Compat Modes */
  129. src: local(""), url("../fonts/fira-sans-v16-latin-500.eot?#iefix") format("embedded-opentype"),
  130. /* IE6-IE8 */ url("../fonts/fira-sans-v16-latin-500.woff2") format("woff2"),
  131. /* Super Modern Browsers */ url("../fonts/fira-sans-v16-latin-500.woff") format("woff"),
  132. /* Modern Browsers */ url("../fonts/fira-sans-v16-latin-500.ttf") format("truetype"),
  133. /* Safari, Android, iOS */ url("../fonts/fira-sans-v16-latin-500.svg#FiraSans") format("svg"); /* Legacy iOS */
  134. }
  135. /* fira-sans-regular - latin */
  136. @font-face {
  137. font-family: "Fira Sans";
  138. font-style: normal;
  139. font-weight: 400;
  140. src: url("../fonts/fira-sans-v16-latin-regular.eot"); /* IE9 Compat Modes */
  141. src: local(""), url("../fonts/fira-sans-v16-latin-regular.eot?#iefix") format("embedded-opentype"),
  142. /* IE6-IE8 */ url("../fonts/fira-sans-v16-latin-regular.woff2") format("woff2"),
  143. /* Super Modern Browsers */ url("../fonts/fira-sans-v16-latin-regular.woff") format("woff"),
  144. /* Modern Browsers */ url("../fonts/fira-sans-v16-latin-regular.ttf") format("truetype"),
  145. /* Safari, Android, iOS */ url("../fonts/fira-sans-v16-latin-regular.svg#FiraSans") format("svg"); /* Legacy iOS */
  146. }
  147. /* fira-sans-700 - latin */
  148. @font-face {
  149. font-family: "Fira Sans";
  150. font-style: normal;
  151. font-weight: 700;
  152. src: url("../fonts/fira-sans-v16-latin-700.eot"); /* IE9 Compat Modes */
  153. src: local(""), url("../fonts/fira-sans-v16-latin-700.eot?#iefix") format("embedded-opentype"),
  154. /* IE6-IE8 */ url("../fonts/fira-sans-v16-latin-700.woff2") format("woff2"),
  155. /* Super Modern Browsers */ url("../fonts/fira-sans-v16-latin-700.woff") format("woff"),
  156. /* Modern Browsers */ url("../fonts/fira-sans-v16-latin-700.ttf") format("truetype"),
  157. /* Safari, Android, iOS */ url("../fonts/fira-sans-v16-latin-700.svg#FiraSans") format("svg"); /* Legacy iOS */
  158. }
  159. /* fira-mono-regular - latin */
  160. @font-face {
  161. font-family: "Fira Mono";
  162. font-style: normal;
  163. font-weight: 400;
  164. src: url("../fonts/fira-mono-v14-latin-regular.eot"); /* IE9 Compat Modes */
  165. src: local(""), url("../fonts/fira-mono-v14-latin-regular.eot?#iefix") format("embedded-opentype"),
  166. /* IE6-IE8 */ url("../fonts/fira-mono-v14-latin-regular.woff2") format("woff2"),
  167. /* Super Modern Browsers */ url("../fonts/fira-mono-v14-latin-regular.woff") format("woff"),
  168. /* Modern Browsers */ url("../fonts/fira-mono-v14-latin-regular.ttf") format("truetype"),
  169. /* Safari, Android, iOS */ url("../fonts/fira-mono-v14-latin-regular.svg#FiraMono") format("svg"); /* Legacy iOS */
  170. }