@@ -53,31 +53,40 @@ all of MD as it is not optimized for dense, information rich UIs.
5353 0.12
5454 );
5555 --jp-elevation-z0: none;
56- --jp-elevation-z1: 0 2px 1px -1px var(--jp-shadow-umbra-color),
56+ --jp-elevation-z1:
57+ 0 2px 1px -1px var(--jp-shadow-umbra-color),
5758 0 1px 1px 0 var(--jp-shadow-penumbra-color),
5859 0 1px 3px 0 var(--jp-shadow-ambient-color);
59- --jp-elevation-z2: 0 3px 1px -2px var(--jp-shadow-umbra-color),
60+ --jp-elevation-z2:
61+ 0 3px 1px -2px var(--jp-shadow-umbra-color),
6062 0 2px 2px 0 var(--jp-shadow-penumbra-color),
6163 0 1px 5px 0 var(--jp-shadow-ambient-color);
62- --jp-elevation-z4: 0 2px 4px -1px var(--jp-shadow-umbra-color),
64+ --jp-elevation-z4:
65+ 0 2px 4px -1px var(--jp-shadow-umbra-color),
6366 0 4px 5px 0 var(--jp-shadow-penumbra-color),
6467 0 1px 10px 0 var(--jp-shadow-ambient-color);
65- --jp-elevation-z6: 0 3px 5px -1px var(--jp-shadow-umbra-color),
68+ --jp-elevation-z6:
69+ 0 3px 5px -1px var(--jp-shadow-umbra-color),
6670 0 6px 10px 0 var(--jp-shadow-penumbra-color),
6771 0 1px 18px 0 var(--jp-shadow-ambient-color);
68- --jp-elevation-z8: 0 5px 5px -3px var(--jp-shadow-umbra-color),
72+ --jp-elevation-z8:
73+ 0 5px 5px -3px var(--jp-shadow-umbra-color),
6974 0 8px 10px 1px var(--jp-shadow-penumbra-color),
7075 0 3px 14px 2px var(--jp-shadow-ambient-color);
71- --jp-elevation-z12: 0 7px 8px -4px var(--jp-shadow-umbra-color),
76+ --jp-elevation-z12:
77+ 0 7px 8px -4px var(--jp-shadow-umbra-color),
7278 0 12px 17px 2px var(--jp-shadow-penumbra-color),
7379 0 5px 22px 4px var(--jp-shadow-ambient-color);
74- --jp-elevation-z16: 0 8px 10px -5px var(--jp-shadow-umbra-color),
80+ --jp-elevation-z16:
81+ 0 8px 10px -5px var(--jp-shadow-umbra-color),
7582 0 16px 24px 2px var(--jp-shadow-penumbra-color),
7683 0 6px 30px 5px var(--jp-shadow-ambient-color);
77- --jp-elevation-z20: 0 10px 13px -6px var(--jp-shadow-umbra-color),
84+ --jp-elevation-z20:
85+ 0 10px 13px -6px var(--jp-shadow-umbra-color),
7886 0 20px 31px 3px var(--jp-shadow-penumbra-color),
7987 0 8px 38px 7px var(--jp-shadow-ambient-color);
80- --jp-elevation-z24: 0 11px 15px -7px var(--jp-shadow-umbra-color),
88+ --jp-elevation-z24:
89+ 0 11px 15px -7px var(--jp-shadow-umbra-color),
8190 0 24px 38px 3px var(--jp-shadow-penumbra-color),
8291 0 9px 46px 8px var(--jp-shadow-ambient-color);
8392
@@ -108,8 +117,9 @@ all of MD as it is not optimized for dense, information rich UIs.
108117 --jp-ui-font-size1: 13px; /* Base font size */
109118 --jp-ui-font-size2: 1.2em;
110119 --jp-ui-font-size3: 1.44em;
111- --jp-ui-font-family: -apple-system, blinkmacsystemfont, 'Segoe UI', helvetica,
112- arial, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol';
120+ --jp-ui-font-family:
121+ -apple-system, blinkmacsystemfont, 'Segoe UI', helvetica, arial, sans-serif,
122+ 'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol';
113123
114124 /*
115125 * Use these font colors against the corresponding main layout colors.
@@ -163,9 +173,9 @@ all of MD as it is not optimized for dense, information rich UIs.
163173 --jp-content-font-color2: rgba(0, 0, 0, 0.54);
164174 --jp-content-font-color3: rgba(0, 0, 0, 0.38);
165175 --jp-content-link-color: var(--md-blue-700);
166- --jp-content-font-family: -apple-system, blinkmacsystemfont, 'Segoe UI',
167- helvetica, arial, sans-serif, 'Apple Color Emoji ', 'Segoe UI Emoji' ,
168- 'Segoe UI Symbol';
176+ --jp-content-font-family:
177+ -apple-system, blinkmacsystemfont, 'Segoe UI ', helvetica, arial, sans-serif ,
178+ 'Apple Color Emoji', 'Segoe UI Emoji', ' Segoe UI Symbol';
169179
170180 /*
171181 * Code Fonts
0 commit comments