theme.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596
  1. /* Increased specificity in case phosphor css is loaded later. */
  2. .p-Widget.jp-Notebook {
  3. min-width: 50px;
  4. min-height: 50px;
  5. overflow-y: auto;
  6. }
  7. .jp-InputArea > .jp-CodeMirror {
  8. border: 1px solid #cfcfcf;
  9. border-radius: 2px;
  10. background: #f7f7f7;
  11. line-height: 1.21429em;
  12. }
  13. .jp-MarkdownCell {
  14. outline: 0;
  15. }
  16. .jp-OutputArea pre {
  17. background: #ffffff;
  18. border: none;
  19. }
  20. .jp-Cell.jp-mod-selected {
  21. border-color: #66BB6A;
  22. border-left-width: 1px;
  23. padding-left: 10px;
  24. background: linear-gradient(to right, #66BB6A -40px, #66BB6A 5px, transparent 5px, transparent 100%);
  25. }
  26. .jp-Cell {
  27. padding-top: 10px;
  28. padding-bottom: 10px;
  29. padding-left: 10px;
  30. padding-right: 10px;
  31. border-width: 1px;
  32. border-style: solid;
  33. border-color: transparent;
  34. }
  35. .jp-MarkdownCell {
  36. font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  37. }
  38. .CodeMirror.cm-s-default {
  39. line-height: 1.21429em;
  40. /* Changed from 1em to our global default */
  41. font-size: 14px;
  42. height: auto;
  43. /* Changed to auto to autogrow */
  44. background: none;
  45. /* Changed from white to allow our bg to show through */
  46. }
  47. .CodeMirror-scroll {
  48. /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
  49. /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
  50. overflow-y: hidden;
  51. overflow-x: auto;
  52. }
  53. .CodeMirror-lines {
  54. /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
  55. /* we have set a different line-height and want this to scale with that. */
  56. padding: 0.4em;
  57. }
  58. .CodeMirror-linenumber {
  59. padding: 0 8px 0 4px;
  60. }
  61. .CodeMirror-gutters {
  62. border-bottom-left-radius: 2px;
  63. border-top-left-radius: 2px;
  64. }
  65. .CodeMirror pre {
  66. /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
  67. /* .CodeMirror-lines */
  68. padding: 0;
  69. border: 0;
  70. border-radius: 0;
  71. }