app.css 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  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: 0;
  30. font-size: 1.1em;
  31. }
  32. tt {
  33. background: #eee;
  34. padding: 2px 7px;
  35. border-radius: 3px;
  36. }
  37. code {
  38. display: block;
  39. background: #eee;
  40. font-family: monospace;
  41. padding: 20px;
  42. border-radius: 3px;
  43. }
  44. /* Lato font (OFL), https://fonts.google.com/specimen/Lato#about,
  45. embedded with the help of https://google-webfonts-helper.herokuapp.com/fonts/lato?subsets=latin */
  46. @font-face {
  47. font-family: 'Lato';
  48. font-style: normal;
  49. font-weight: 400;
  50. src: local(''),
  51. url('../font/lato-v17-latin-ext_latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
  52. url('../font/lato-v17-latin-ext_latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  53. }
  54. /* Main page */
  55. #main {
  56. max-width: 900px;
  57. margin: 0 auto 50px auto;
  58. }
  59. #error {
  60. color: darkred;
  61. font-style: italic;
  62. }