1
0

basic.css 710 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. /* SPDX-License-Identifier: MIT */
  2. @font-face {
  3. font-family: "sans-serif";
  4. src: url("NotoSans-Regular.ttf") format("truetype");
  5. }
  6. p {
  7. margin-left: 2.5em;
  8. }
  9. code {
  10. color: darkslategrey;
  11. }
  12. h1, h2, h4, ul {
  13. font-family: "sans-serif";
  14. }
  15. .title-main {
  16. text-align: center;
  17. margin-top: 6em;
  18. font-size: 350%;
  19. }
  20. .title-sub {
  21. text-align: center;
  22. font-size: 120%;
  23. color: darkslategrey;
  24. }
  25. .title-dir {
  26. text-align: center;
  27. margin-top: 8.2em;
  28. font-size: 300%;
  29. }
  30. /*
  31. The same is to have this look like a H1 tag, but we want the H2 tag so the
  32. bookmarks list makes sense.
  33. */
  34. h2.title-page {
  35. font-size: 2em;
  36. margin-top: 0.67em;
  37. margin-bottom: 0.67em;
  38. }