custom_reveal.css 2.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121
  1. /* Overrides of notebook CSS for static HTML export */
  2. .reveal {
  3. font-size: 160%;
  4. }
  5. .reveal table {
  6. font-size: var(--jp-ui-font-size1);
  7. }
  8. .reveal pre {
  9. width: inherit;
  10. padding: 0.4em;
  11. margin: 0px;
  12. font-family: monospace, sans-serif;
  13. font-size: 80%;
  14. box-shadow: 0px 0px 0px rgba(0, 0, 0, 0);
  15. }
  16. .reveal pre code {
  17. padding: 0px;
  18. }
  19. .reveal section img {
  20. border: 0px solid black;
  21. box-shadow: 0 0 10px rgba(0, 0, 0, 0);
  22. }
  23. .reveal .slides {
  24. text-align: left;
  25. }
  26. .reveal.fade {
  27. opacity: 1;
  28. }
  29. .reveal .progress {
  30. position: static;
  31. }
  32. div.jp-InputArea-editor {
  33. padding: 0.06em;
  34. }
  35. div.code_cell {
  36. background-color: transparent;
  37. }
  38. div.output_area pre {
  39. font-family: monospace, sans-serif;
  40. font-size: 80%;
  41. }
  42. div.jp-OutputPrompt {
  43. /* 5px right shift to account for margin in parent container */
  44. margin: 5px 5px 0 0;
  45. }
  46. .reveal div.highlight {
  47. margin: 0;
  48. }
  49. .reveal div.highlight > pre {
  50. margin: 0;
  51. width: 100%;
  52. font-size: var(--jp-code-font-size);
  53. }
  54. .reveal div.jp-OutputArea-output > pre {
  55. margin: 0;
  56. width: 90%;
  57. font-size: var(--jp-code-font-size);
  58. box-shadow: none;
  59. }
  60. main {
  61. height: 100%;
  62. }
  63. /* Reveal navigation controls */
  64. .reveal .controls .navigate-left,
  65. .reveal .controls .navigate-left.enabled {
  66. border-right-color: #727272;
  67. }
  68. .reveal .controls .navigate-left.enabled:hover,
  69. .reveal .controls .navigate-left.enabled.enabled:hover {
  70. border-right-color: #dfdfdf;
  71. }
  72. .reveal .controls .navigate-right,
  73. .reveal .controls .navigate-right.enabled {
  74. border-left-color: #727272;
  75. }
  76. .reveal .controls .navigate-right.enabled:hover,
  77. .reveal .controls .navigate-right.enabled.enabled:hover {
  78. border-left-color: #dfdfdf;
  79. }
  80. .reveal .controls .navigate-up,
  81. .reveal .controls .navigate-up.enabled {
  82. border-bottom-color: #727272;
  83. }
  84. .reveal .controls .navigate-up.enabled:hover,
  85. .reveal .controls .navigate-up.enabled.enabled:hover {
  86. border-bottom-color: #dfdfdf;
  87. }
  88. .reveal .controls .navigate-down,
  89. .reveal .controls .navigate-down.enabled {
  90. border-top-color: #727272;
  91. }
  92. .reveal .controls .navigate-down.enabled:hover,
  93. .reveal .controls .navigate-down.enabled.enabled:hover {
  94. border-top-color: #dfdfdf;
  95. }
  96. .reveal .progress span {
  97. background: #727272;
  98. }
  99. /* Scrollbars */
  100. ::-webkit-scrollbar {
  101. width: 6px;
  102. height: 6px;
  103. }
  104. ::-webkit-scrollbar * {
  105. background: transparent;
  106. }
  107. ::-webkit-scrollbar-thumb {
  108. background: #727272 !important;
  109. }