app.css 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409
  1. /* general styling */
  2. html, body {
  3. font-family: 'Lato', sans-serif;
  4. color: #333;
  5. font-size: 1.1em;
  6. }
  7. html {
  8. /* prevent scrollbar from repositioning website:
  9. * https://www.w3docs.com/snippets/css/how-to-prevent-scrollbar-from-repositioning-web-page.html */
  10. overflow-y: scroll;
  11. }
  12. a, a:visited {
  13. color: #3a9784;
  14. }
  15. a:hover {
  16. text-decoration: none;
  17. color: #317f6f;
  18. }
  19. h1 {
  20. margin-top: 25px;
  21. margin-bottom: 18px;
  22. font-size: 2.5em;
  23. }
  24. h2 {
  25. margin-top: 30px;
  26. margin-bottom: 5px;
  27. font-size: 1.8em;
  28. }
  29. h3 {
  30. margin-top: 25px;
  31. margin-bottom: 5px;
  32. font-size: 1.3em;
  33. }
  34. p {
  35. margin-top: 10px;
  36. margin-bottom: 20px;
  37. font-size: 1.1em;
  38. line-height: 140%;
  39. }
  40. p.smallMarginBottom {
  41. margin-bottom: 10px;
  42. }
  43. tt {
  44. background: #eee;
  45. padding: 2px 7px;
  46. border-radius: 3px;
  47. }
  48. code {
  49. display: block;
  50. background: #eee;
  51. font-family: monospace;
  52. padding: 20px;
  53. border-radius: 3px;
  54. margin-top: 10px;
  55. margin-bottom: 20px;
  56. overflow-x: auto;
  57. }
  58. /* Lato font (OFL), https://fonts.google.com/specimen/Lato#about,
  59. embedded with the help of https://google-webfonts-helper.herokuapp.com/fonts/lato?subsets=latin */
  60. @font-face {
  61. font-family: 'Lato';
  62. font-style: normal;
  63. font-weight: 400;
  64. src: local(''),
  65. url('../font/lato-v17-latin-ext_latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
  66. url('../font/lato-v17-latin-ext_latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  67. }
  68. /* Main page */
  69. #main {
  70. max-width: 900px;
  71. margin: 0 auto 50px auto;
  72. }
  73. #error {
  74. color: darkred;
  75. font-style: italic;
  76. }
  77. #ironicCenterTagDontFreakOut {
  78. color: #666;
  79. }
  80. /* Anchors */
  81. .anchor .anchorLink {
  82. color: #ccc;
  83. text-decoration: none;
  84. padding: 0 5px;
  85. visibility: hidden;
  86. }
  87. .anchor:hover .anchorLink {
  88. visibility: visible;
  89. }
  90. .anchor .anchorLink:hover {
  91. color: #3a9784;
  92. visibility: visible;
  93. }
  94. /* Screenshots */
  95. #screenshots {
  96. text-align: center;
  97. }
  98. #screenshots img {
  99. height: 190px;
  100. margin: 3px;
  101. border-radius: 5px;
  102. filter: drop-shadow(2px 2px 2px #ddd);
  103. }
  104. #screenshots .nowrap {
  105. white-space: nowrap;
  106. }
  107. /* Lightbox; thanks to https://yossiabramov.com/blog/vanilla-js-lightbox */
  108. .lightbox {
  109. opacity: 0;
  110. visibility: hidden;
  111. position: fixed;
  112. left:0;
  113. right: 0;
  114. top: 0;
  115. bottom: 0;
  116. z-index: -1;
  117. display: flex;
  118. align-items: center;
  119. justify-content: center;
  120. transition: all 0.15s ease-in;
  121. }
  122. .lightbox.show {
  123. background-color: rgba(0,0,0, 0.75);
  124. opacity: 1;
  125. visibility: visible;
  126. z-index: 1000;
  127. }
  128. .lightbox img {
  129. max-width: 90%;
  130. max-height: 90%;
  131. filter: drop-shadow(5px 5px 10px #222);
  132. border-radius: 5px;
  133. }
  134. .lightbox .close-lightbox {
  135. cursor: pointer;
  136. position: absolute;
  137. top: 30px;
  138. right: 30px;
  139. width: 20px;
  140. height: 20px;
  141. }
  142. .lightbox .close-lightbox::after,
  143. .lightbox .close-lightbox::before {
  144. content: '';
  145. width: 3px;
  146. height: 20px;
  147. background-color: #ddd;
  148. position: absolute;
  149. border-radius: 5px;
  150. transform: rotate(45deg);
  151. }
  152. .lightbox .close-lightbox::before {
  153. transform: rotate(-45deg);
  154. }
  155. .lightbox .close-lightbox:hover::after,
  156. .lightbox .close-lightbox:hover::before {
  157. background-color: #fff;
  158. }
  159. /* Subscribe box */
  160. button {
  161. background: #3a9784;
  162. border: none;
  163. border-radius: 3px;
  164. padding: 3px 5px;
  165. color: white;
  166. cursor: pointer;
  167. }
  168. button:hover {
  169. background: #317f6f;
  170. padding: 5px;
  171. }
  172. ul {
  173. padding-left: 1em;
  174. list-style-type: circle;
  175. padding-bottom: 0;
  176. margin: 0;
  177. }
  178. li {
  179. padding: 4px 0;
  180. margin: 4px 0;
  181. font-size: 0.9em;
  182. }
  183. /* Subscribe box SMALL SCREEN */
  184. @media only screen and (max-width: 1599px) {
  185. #subscribeBox #subscribeForm {
  186. border-left: 4px solid #3a9784;
  187. padding: 10px;
  188. }
  189. #subscribeBox #topicsHeader {
  190. margin-bottom: 0;
  191. }
  192. #subscribeBox input {
  193. height: 24px;
  194. min-width: 200px;
  195. max-width: 300px;
  196. border-radius: 3px;
  197. border: none;
  198. border-bottom: 1px solid #aaa;
  199. font-size: 0.8em;
  200. }
  201. #subscribeBox input:focus {
  202. border-bottom: 2px solid #3a9784;
  203. outline: none;
  204. }
  205. #subscribeBox ul {
  206. margin: 0;
  207. }
  208. #subscribeBox li {
  209. margin: 3px 0;
  210. padding: 0;
  211. }
  212. #subscribeBox li img {
  213. width: 15px;
  214. height: 15px;
  215. vertical-align: bottom;
  216. }
  217. #subscribeBox li a {
  218. padding: 0 5px 0 0;
  219. }
  220. #subscribeBox button {
  221. font-size: 0.8em;
  222. background: #3a9784;
  223. border-radius: 3px;
  224. padding: 5px;
  225. color: white;
  226. cursor: pointer;
  227. }
  228. #subscribeBox button:hover {
  229. background: #317f6f;
  230. }
  231. }
  232. /* Subscribe box BIG SCREEN */
  233. @media only screen and (min-width: 1600px) {
  234. #subscribeBox {
  235. position: fixed;
  236. top: 170px;
  237. right: 10px;
  238. width: 300px;
  239. border-left: 4px solid #3a9784;
  240. padding: 10px;
  241. }
  242. #subscribeBox h3 {
  243. margin-top: 0;
  244. margin-bottom: 5px;
  245. font-size: 1.1em;
  246. }
  247. #subscribeBox #topicsHeader {
  248. margin-bottom: 0;
  249. }
  250. #subscribeBox p {
  251. font-size: 0.9em;
  252. margin-bottom: 10px;
  253. }
  254. #subscribeBox ul {
  255. margin: 0;
  256. }
  257. #subscribeBox input {
  258. height: 18px;
  259. border-radius: 3px;
  260. border: none;
  261. border-bottom: 1px solid #aaa;
  262. }
  263. #subscribeBox input:focus {
  264. border-bottom: 2px solid #3a9784;
  265. outline: none;
  266. }
  267. #subscribeBox li {
  268. margin: 3px 0;
  269. padding: 0;
  270. }
  271. #subscribeBox li img {
  272. width: 15px;
  273. height: 15px;
  274. vertical-align: bottom;
  275. }
  276. #subscribeBox li a {
  277. padding: 0 5px 0 0;
  278. }
  279. #subscribeBox button {
  280. font-size: 0.7em;
  281. background: #3a9784;
  282. border-radius: 3px;
  283. padding: 5px;
  284. color: white;
  285. cursor: pointer;
  286. }
  287. #subscribeBox button:hover {
  288. background: #317f6f;
  289. }
  290. }
  291. /** Detail view */
  292. #detail {
  293. display: none;
  294. position: absolute;
  295. z-index: 1;
  296. left: 8px;
  297. right: 8px;
  298. top: 0;
  299. bottom: 0;
  300. background: white;
  301. }
  302. #detail .detailDate {
  303. color: #888;
  304. font-size: 0.9em;
  305. }
  306. #detail .detailMessage {
  307. margin-bottom: 20px;
  308. font-size: 1.1em;
  309. }
  310. #detail #detailMain {
  311. max-width: 900px;
  312. margin: 0 auto;
  313. position: relative; /* required for close button's "position: absolute" */
  314. padding-bottom: 50px; /* Chrome and Firefox behave differently regarding bottom margin */
  315. }
  316. #detail #detailCloseButton {
  317. background: #eee;
  318. border-radius: 5px;
  319. border: none;
  320. padding: 5px;
  321. position: absolute;
  322. right: 0;
  323. top: 10px;
  324. display: block;
  325. }
  326. #detail #detailCloseButton:hover {
  327. padding: 5px;
  328. background: #ccc;
  329. }
  330. #detail #detailCloseButton img {
  331. display: block; /* get rid of the weird bottom border */
  332. }
  333. #detail #detailNotificationsDisallowed {
  334. display: none;
  335. color: darkred;
  336. }
  337. #detail #events {
  338. max-width: 900px;
  339. margin: 0 auto 50px auto;
  340. }