3131{
3232 padding : 0 ; margin : 0 ;
3333 flow : vertical;
34- /*background: #fff;*/
3534}
3635
3736body > main { display : block; size : * ; background: # fff ; }
@@ -181,7 +180,9 @@ ul.dom-element-path
181180 padding : 0 0 0 4dip ; margin : 0 ;
182181 font : system;
183182 flow : horizontal;
184- overflow-x : scroll-indicator;
183+ /* overflow-x:scroll-indicator; */
184+ overflow-x : auto;
185+ horizontal-scrollbar : my-v-scrollbar;
185186}
186187ul .dom-element-path > text { color : # aaa ; }
187188ul .dom-element-path > li {
@@ -211,6 +212,7 @@ text.resource-url {
211212 text-align : center;
212213 overflow-x : hidden;
213214 text-overflow : ellipsis;
215+ /* vertical-scrollbar: my-v-scrollbar; */
214216}
215217
216218
@@ -219,7 +221,8 @@ select.log {
219221 prototype : Log url (log.tis);
220222 display : block;
221223 padding : 0 ;
222- padding-bottom : 26dip ;
224+ padding-bottom : 20dip ;
225+ margin-bottom : 30dip ;
223226 /* overflow-x:scroll-indicator; */
224227 overflow-x : auto;
225228 context-menu : selector (menu#for-log-list);
@@ -279,6 +282,7 @@ select.log > option.current-view { border-right-color: highlight; }
279282 line-height : 1.3em ;
280283 white-space : pre;
281284 font-family : monospace;
285+ font-size : 1.2em ;
282286 border : none;
283287 border-top : 1dip solid # eee ;
284288 border-radius : 0 ;
@@ -437,10 +441,6 @@ widget.element-details > section:expanded > dl > dd
437441 margin : 0 ;
438442 padding : 2dip 3dip ;
439443 font-weight : bold;
440- //white-space:nowrap;
441- //max-width:300dip;
442- //overflow-x:hidden;
443- //text-overflow:ellipsis;
444444}
445445
446446/* resources view content */
@@ -571,7 +571,7 @@ widget.element-details > section:expanded > dl > dd
571571.debugger-area > div .sections { height : * ; /* overflow:scroll-indicator; */ vertical- scrollbar: my-v-scrollbar; }
572572.debugger-area section { height : auto; }
573573/*.debugger-area widget { size:*; background:window; height:max-content; }*/
574- .debugger-area > .debugger-toolbar { flow : horizontal; padding : 4dip ; border-spacing : 4dip ; background : # eee ; }
574+ .debugger-area > .debugger-toolbar { flow : horizontal; padding : 4dip ; border-spacing : 4dip ; background : # fff ; }
575575.debugger-area > .debugger-toolbar > button { display : block; width : * ; min- width: 2em ; max-width : auto; overflow-x : hidden; }
576576.debugger-area > .debugger-toolbar : not (: disabled ) { background : red; }
577577
@@ -584,7 +584,7 @@ widget.element-details > section:expanded > dl > dd
584584.debugger-area section span .file { display : block; font-weight : bold; }
585585.debugger-area section span .funcName { display : block; font-weight : bold; margin-right : 8dip ; }
586586
587- .debugger-area section > header { background : # eee ; color : black; padding : 2 dip 4 dip ; }
587+ .debugger-area section > header { background : # eee ; color : black; padding : 5 dip ; }
588588
589589/*.debugger-area dl { flow: row(dt,dd); border-spacing:2dip; margin:0; padding:0;}
590590.debugger-area dl > dt { text-align:right; font-weight:bold; width:max-content; white-space:nowrap; }
@@ -670,6 +670,6 @@ widget.element-details > section.metrics > dl.intrinsics > dd { overflow:none; w
670670 /* .slider:active { background: rgba(255,0,0,0.549); } */
671671 .slider : active { background : rgba (29 , 29 , 29 , 1 ); }
672672
673- .base { width : 6dip ; } /* explicit declaration of its width */
673+ .base { width : 6dip ; height : 5 dip ; } /* explicit declaration of its width */
674674 .corner { background : transparent; }
675675}
0 commit comments