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