@@ -19,57 +19,58 @@ section[data-pane="develop"] > div > * {
1919 margin-top : 1em ;
2020 }
2121
22- # cm-container {
22+ . cm-container {
2323 flex-grow : 1 ;
2424 font-size : var (--monospace-size );
25- overflow : hidden;
25+ max-height : stretch;
26+ padding-bottom : 2em ;
2627 }
2728
2829/* https://discuss.codemirror.net/t/how-to-set-max-height-of-the-editor/2882/2 */
29- # cm-container .cm-editor {
30+ . cm-container .cm-editor {
3031 background-color : var (--surface-0 );
3132 height : 100% ;
3233 }
3334
34- # cm-container .cm-editor .cm-line : has (.ubol-boundary ) {
35+ . cm-container .cm-editor .cm-line : has (.ubol-boundary ) {
3536 background-image : url ('line-hor-dashed.png' ), url ('line-hor-dashed.png' );
3637 background-position : left 3px , left calc (100% - 3px );
3738 background-repeat : repeat-x;
3839 }
39- # cm-container .cm-editor {
40+ . cm-container .cm-editor {
4041 color : var (--ink-1 );
4142 }
42- : root .dark # cm-container .cm-editor {
43+ : root .dark . cm-container .cm-editor {
4344 color : var (--ink-2 );
4445 }
45- # cm-container .cm-editor .cm-line .ubol-comment {
46+ . cm-container .cm-editor .cm-line .ubol-comment {
4647 color : # ba5300 ;
4748 }
48- : root .dark # cm-container .cm-editor .cm-line .ubol-comment {
49+ : root .dark . cm-container .cm-editor .cm-line .ubol-comment {
4950 color : # fa7000 ;
5051 }
51- # cm-container .cm-editor .cm-line .ubol-keyword {
52+ . cm-container .cm-editor .cm-line .ubol-keyword {
5253 color : # ae42be ;
5354 }
54- : root .dark # cm-container .cm-editor .cm-line .ubol-keyword {
55+ : root .dark . cm-container .cm-editor .cm-line .ubol-keyword {
5556 color : # ea59ff ;
5657 }
57- # cm-container .cm-editor .cm-line .ubol-literal {
58+ . cm-container .cm-editor .cm-line .ubol-literal {
5859 color : # 168156 ;
5960 }
60- : root .dark # cm-container .cm-editor .cm-line .ubol-literal {
61+ : root .dark . cm-container .cm-editor .cm-line .ubol-literal {
6162 color : # 1dae74 ;
6263 }
63- # cm-container .cm-editor .cm-line .badline {
64+ . cm-container .cm-editor .cm-line .badline {
6465 background-color : color-mix (in srgb, var (--info3-ink ) 15% , transparent 85% );
6566 }
6667
67- # cm-container .cm-editor .cm-line .badmark {
68+ . cm-container .cm-editor .cm-line .badmark {
6869 text-decoration : underline var (--cm-negative ) wavy;
6970 text-decoration-skip-ink : none;
7071 }
7172
72- # cm-container .cm-editor .cm-panel .cm-search {
73+ . cm-container .cm-editor .cm-panel .cm-search {
7374 display : flex;
7475 flex-wrap : wrap;
7576 font-family : sans-serif;
@@ -78,25 +79,25 @@ section[data-pane="develop"] > div > * {
7879 padding : 0.5em 1.5em 0.5em 0.5em ;
7980 }
8081
81- # cm-container .cm-editor .cm-panel .cm-search > * {
82+ . cm-container .cm-editor .cm-panel .cm-search > * {
8283 margin : 0 ;
8384 }
8485
85- # cm-container .cm-editor .cm-panel .cm-search .cm-textfield ,
86- # cm-container .cm-editor .cm-panel .cm-search .cm-button ,
87- # cm-container .cm-editor .cm-panel .cm-search label {
86+ . cm-container .cm-editor .cm-panel .cm-search .cm-textfield ,
87+ . cm-container .cm-editor .cm-panel .cm-search .cm-button ,
88+ . cm-container .cm-editor .cm-panel .cm-search label {
8889 background-image : inherit;
8990 border : inherit;
9091 flex-grow : 0 ;
9192 font-size : var (--button-font-size );
9293 min-height : calc (var (--button-font-size ) * 1.8 );
9394 }
9495
95- # cm-container .cm-editor .cm-panel .warning {
96+ . cm-container .cm-editor .cm-panel .warning {
9697 color : var (--info3-ink );
9798 }
9899
99- # cm-container .cm-editor .cm-panel .io-panel {
100+ . cm-container .cm-editor .cm-panel .io-panel {
100101 background-color : var (--surface-1 );
101102 box-sizing : border-box;
102103 display : inline-flex;
@@ -105,64 +106,64 @@ section[data-pane="develop"] > div > * {
105106 padding-inline-start : 0 ;
106107 width : 100% ;
107108 }
108- # cm-container .cm-editor .cm-panel .io-panel button {
109+ . cm-container .cm-editor .cm-panel .io-panel button {
109110 min-height : 30px ;
110111 }
111- # cm-container .cm-editor .cm-panel .io-panel button # revert {
112+ . cm-container .cm-editor .cm-panel .io-panel button # revert {
112113 margin-inline-end : 1em ;
113114 }
114- # cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "apply" ]) button # apply {
115+ . cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "apply" ]) button # apply {
115116 display : none;
116117 }
117- # cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "revert" ]) button # revert {
118+ . cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "revert" ]) button # revert {
118119 display : none;
119120 }
120- # cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "import" ]) button # import {
121+ . cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "import" ]) button # import {
121122 display : none;
122123 }
123- # cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "export" ]) button # export {
124+ . cm-container .cm-editor .cm-panel .io-panel : not ([data-io ~= "export" ]) button # export {
124125 display : none;
125126 }
126127
127- # cm-container .cm-editor .cm-panel .info-panel {
128+ . cm-container .cm-editor .cm-panel .info-panel {
128129 display : flex;
129130 flex-wrap : nowrap;
130131 font-size : var (--font-size );
131132 padding : var (--default-gap-xxsmall ) var (--default-gap-xsmall );
132133 }
133- # cm-container .cm-editor .cm-panel .info-panel .info {
134+ . cm-container .cm-editor .cm-panel .info-panel .info {
134135 flex-grow : 1 ;
135136 overflow : auto;
136137 }
137- # cm-container .cm-editor .cm-panel .info-panel .close {
138+ . cm-container .cm-editor .cm-panel .info-panel .close {
138139 cursor : default;
139140 flex-shrink : 0 ;
140141 padding-inline-start : 1em ;
141142 }
142- # cm-container .cm-editor .cm-panel .info-panel .close ::after {
143+ . cm-container .cm-editor .cm-panel .info-panel .close ::after {
143144 content : '\2715' ;
144145 }
145146
146- # cm-container .cm-editor .cm-panel .summary-panel {
147+ . cm-container .cm-editor .cm-panel .summary-panel {
147148 background-color : color-mix (in srgb, var (--info1-ink ) 15% , transparent 85% );
148149 gap : 1em ;
149150 }
150- # cm-container .cm-editor .cm-panel .summary-panel .info {
151+ . cm-container .cm-editor .cm-panel .summary-panel .info {
151152 flex-shrink : 0 ;
152153 }
153154
154- # cm-container .cm-editor .cm-panel .feedback-panel {
155+ . cm-container .cm-editor .cm-panel .feedback-panel {
155156 background-color : color-mix (in srgb, var (--info3-ink ) 15% , transparent 85% );
156157 white-space : pre;
157158 max-height : 10cqh ;
158159 }
159160
160- # cm-container .cm-editor .cm-gutterElement {
161+ . cm-container .cm-editor .cm-gutterElement {
161162 cursor : default;
162163 user-select : none;
163164 }
164165
165- # cm-container .cm-editor .cm-tooltip .badmark-tooltip {
166+ . cm-container .cm-editor .cm-tooltip .badmark-tooltip {
166167 background-color : color-mix (in srgb, var (--info3-ink ) 15% , transparent 85% );
167168 padding : var (--default-gap-xxsmall ) var (--default-gap-xsmall );
168169 }
0 commit comments