custom.css 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
  1. @font-face {
  2. font-family: 'charter-webfont';
  3. src: url('../fonts/charter_regular.woff') format('woff');
  4. font-weight: normal;
  5. font-style: normal;
  6. }
  7. @font-face {
  8. font-family: 'charter-webfont';
  9. src: url('../fonts/charter_italic.woff') format('woff');
  10. font-weight: normal;
  11. font-style: italic;
  12. }
  13. @font-face {
  14. font-family: 'charter-webfont';
  15. src: url('../fonts/charter_bold.woff') format('woff');
  16. font-weight: bold;
  17. font-style: normal;
  18. }
  19. @font-face {
  20. font-family: 'charter-webfont';
  21. src: url('../fonts/charter_bold_italic.woff') format('woff');
  22. font-weight: bold;
  23. font-style: italic;
  24. }
  25. html{
  26. border-top: 5px solid #785b9c;
  27. border-bottom: 5px solid #785b9c;
  28. min-height: 100vh;
  29. box-sizing: border-box;
  30. }
  31. body {
  32. font-family: 'Charter', 'charter-webfont', 'Georgia', sans-serif;
  33. }
  34. h1, h2, h3 {
  35. font-family: 'Charter', 'charter-webfont', 'Georgia', sans-serif;
  36. }
  37. div.body pre {
  38. font-size: 80%;
  39. }
  40. div.sphinxsidebarwrapper p.logo{
  41. margin-bottom: 20px;
  42. text-align: left;
  43. }
  44. div.sphinxsidebarwrapper h1.logo{
  45. display: none;
  46. }
  47. div.body a{
  48. color: #785b9c;
  49. text-decoration: none;
  50. border-bottom: none;
  51. }
  52. div.body a:hover{
  53. color: white;
  54. background-color: #785b9c;
  55. padding: 0px 2px;
  56. margin: 0px -2px;
  57. border-radius: 3px;
  58. }