app.css 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. /* general styling */
  2. html, body {
  3. font-family: 'Lato', sans-serif;
  4. color: #333;
  5. font-size: 1.1em;
  6. }
  7. a, a:visited {
  8. color: #3a9784;
  9. }
  10. a:hover {
  11. text-decoration: none;
  12. color: #317f6f;
  13. }
  14. h1 {
  15. margin-top: 25px;
  16. margin-bottom: 18px;
  17. font-size: 2.5em;
  18. }
  19. h2 {
  20. margin-top: 20px;
  21. margin-bottom: 5px;
  22. font-size: 1.8em;
  23. }
  24. h3 {
  25. margin-top: 20px;
  26. margin-bottom: 5px;
  27. font-size: 1.3em;
  28. }
  29. p {
  30. margin-top: 10px;
  31. margin-bottom: 20px;
  32. font-size: 1.1em;
  33. line-height: 140%;
  34. }
  35. p.smallMarginBottom {
  36. margin-bottom: 10px;
  37. }
  38. tt {
  39. background: #eee;
  40. padding: 2px 7px;
  41. border-radius: 3px;
  42. }
  43. code {
  44. display: block;
  45. background: #eee;
  46. font-family: monospace;
  47. padding: 20px;
  48. border-radius: 3px;
  49. margin-top: 10px;
  50. margin-bottom: 20px;
  51. }
  52. /* Lato font (OFL), https://fonts.google.com/specimen/Lato#about,
  53. embedded with the help of https://google-webfonts-helper.herokuapp.com/fonts/lato?subsets=latin */
  54. @font-face {
  55. font-family: 'Lato';
  56. font-style: normal;
  57. font-weight: 400;
  58. src: local(''),
  59. url('../font/lato-v17-latin-ext_latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
  60. url('../font/lato-v17-latin-ext_latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  61. }
  62. /* Main page */
  63. #main {
  64. max-width: 900px;
  65. margin: 0 auto 50px auto;
  66. }
  67. #error {
  68. color: darkred;
  69. font-style: italic;
  70. }
  71. #ironicCenterTagDontFreakOut {
  72. color: #666;
  73. }