app.css 5.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314
  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: 20px;
  26. margin-bottom: 5px;
  27. font-size: 1.8em;
  28. }
  29. h3 {
  30. margin-top: 20px;
  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. /* Subscribe box */
  81. button {
  82. background: #3a9784;
  83. border: none;
  84. border-radius: 3px;
  85. padding: 3px 5px;
  86. color: white;
  87. cursor: pointer;
  88. }
  89. button:hover {
  90. background: #317f6f;
  91. padding: 5px;
  92. }
  93. ul {
  94. padding-left: 1em;
  95. list-style-type: circle;
  96. padding-bottom: 0;
  97. margin: 0;
  98. }
  99. li {
  100. padding: 4px 0;
  101. margin: 4px 0;
  102. font-size: 0.9em;
  103. }
  104. /* Subscribe box SMALL SCREEN */
  105. @media only screen and (max-width: 1599px) {
  106. #subscribeBox #subscribeForm {
  107. border-left: 4px solid #3a9784;
  108. padding: 10px;
  109. }
  110. #subscribeBox #topicsHeader {
  111. margin-bottom: 0;
  112. }
  113. #subscribeBox input {
  114. height: 24px;
  115. min-width: 200px;
  116. max-width: 300px;
  117. border-radius: 3px;
  118. border: none;
  119. border-bottom: 1px solid #aaa;
  120. font-size: 0.8em;
  121. }
  122. #subscribeBox input:focus {
  123. border-bottom: 2px solid #3a9784;
  124. outline: none;
  125. }
  126. #subscribeBox ul {
  127. margin: 0;
  128. }
  129. #subscribeBox li {
  130. margin: 3px 0;
  131. padding: 0;
  132. }
  133. #subscribeBox li img {
  134. width: 15px;
  135. height: 15px;
  136. vertical-align: bottom;
  137. }
  138. #subscribeBox li a {
  139. padding: 0 5px 0 0;
  140. }
  141. #subscribeBox button {
  142. font-size: 0.8em;
  143. background: #3a9784;
  144. border-radius: 3px;
  145. padding: 5px;
  146. color: white;
  147. cursor: pointer;
  148. }
  149. #subscribeBox button:hover {
  150. background: #317f6f;
  151. }
  152. }
  153. /* Subscribe box BIG SCREEN */
  154. @media only screen and (min-width: 1600px) {
  155. #subscribeBox {
  156. position: fixed;
  157. top: 170px;
  158. right: 10px;
  159. width: 300px;
  160. border-left: 4px solid #3a9784;
  161. padding: 10px;
  162. }
  163. #subscribeBox h3 {
  164. margin-top: 0;
  165. margin-bottom: 5px;
  166. font-size: 1.1em;
  167. }
  168. #subscribeBox #topicsHeader {
  169. margin-bottom: 0;
  170. }
  171. #subscribeBox p {
  172. font-size: 0.9em;
  173. margin-bottom: 10px;
  174. }
  175. #subscribeBox ul {
  176. margin: 0;
  177. }
  178. #subscribeBox input {
  179. height: 18px;
  180. border-radius: 3px;
  181. border: none;
  182. border-bottom: 1px solid #aaa;
  183. }
  184. #subscribeBox input:focus {
  185. border-bottom: 2px solid #3a9784;
  186. outline: none;
  187. }
  188. #subscribeBox li {
  189. margin: 3px 0;
  190. padding: 0;
  191. }
  192. #subscribeBox li img {
  193. width: 15px;
  194. height: 15px;
  195. vertical-align: bottom;
  196. }
  197. #subscribeBox li a {
  198. padding: 0 5px 0 0;
  199. }
  200. #subscribeBox button {
  201. font-size: 0.7em;
  202. background: #3a9784;
  203. border-radius: 3px;
  204. padding: 5px;
  205. color: white;
  206. cursor: pointer;
  207. }
  208. #subscribeBox button:hover {
  209. background: #317f6f;
  210. }
  211. }
  212. /** Detail view */
  213. #detail {
  214. display: none;
  215. position: absolute;
  216. z-index: 1;
  217. left: 8px;
  218. right: 8px;
  219. top: 0;
  220. bottom: 0;
  221. background: white;
  222. }
  223. #detail .detailDate {
  224. color: #888;
  225. font-size: 0.9em;
  226. }
  227. #detail .detailMessage {
  228. margin-bottom: 20px;
  229. font-size: 1.1em;
  230. }
  231. #detail #detailMain {
  232. max-width: 900px;
  233. margin: 0 auto;
  234. position: relative; /* required for close button's "position: absolute" */
  235. padding-bottom: 50px; /* Chrome and Firefox behave differently regarding bottom margin */
  236. }
  237. #detail #detailCloseButton {
  238. background: #eee;
  239. border-radius: 5px;
  240. border: none;
  241. padding: 5px;
  242. position: absolute;
  243. right: 0;
  244. top: 10px;
  245. display: block;
  246. }
  247. #detail #detailCloseButton:hover {
  248. padding: 5px;
  249. background: #ccc;
  250. }
  251. #detail #detailCloseButton img {
  252. display: block; /* get rid of the weird bottom border */
  253. }
  254. #detail #detailNotificationsDisallowed {
  255. display: none;
  256. color: darkred;
  257. }
  258. #detail #events {
  259. max-width: 900px;
  260. margin: 0 auto 50px auto;
  261. }