index.css 1.9 KB

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