@@ -76,6 +76,7 @@ pluto-editor {
7676 min-width : 0 ;
7777 container-type : inline-size;
7878 container-name : editor;
79+ overflow-x : clip;
7980}
8081
8182main {
@@ -106,6 +107,7 @@ pluto-editor main {
106107 /* Second part: push away from the right to take up all free space */ min ((100% - (700px + 25px + 6px )), /* but don't do this more than */ 500px )
107108 );
108109 position : relative;
110+ margin-left : auto;
109111}
110112
111113pluto-notebook {
@@ -632,7 +634,7 @@ dialog#export div#container {
632634 flex-direction : row;
633635 display : flex;
634636 max-width : 1000px ;
635- padding-right : 10em ;
637+ padding-inline-end : 10em ;
636638 margin : 0 auto;
637639 position : relative;
638640 height : var (--header-height );
@@ -693,7 +695,7 @@ dialog#export .export_small_btns {
693695 padding : 0.9em ;
694696 border-radius : 0.9em ;
695697 position : absolute;
696- right : 0.8em ;
698+ inset-inline-end : 0.8em ;
697699 top : 0em ;
698700 background : var (--export-bg-color );
699701}
@@ -953,9 +955,9 @@ div.desktop_picker_group span {
953955 color : var (--nav-filepicker-color );
954956 border : 2px solid var (--footer-input-border-color );
955957 border-radius : 3px ;
956- border-right : none;
957- border-top-right -radius : 0 ;
958- border-bottom-right -radius : 0 ;
958+ border-inline-end : none;
959+ border-end-end -radius : 0 ;
960+ border-start-end -radius : 0 ;
959961}
960962
961963pluto-filepicker .cm-scroller {
@@ -1088,7 +1090,7 @@ nav#at_the_top:after {
10881090 nav # at_the_top > pluto-filepicker .cm-editor ,
10891091 nav # at_the_top > div .desktop_picker_group span {
10901092 border : 2px solid transparent;
1091- border-right : none;
1093+ border-inline-end : none;
10921094 transition : border 0.15s ease-in-out;
10931095 }
10941096 nav # at_the_top > pluto-filepicker button ,
@@ -1101,7 +1103,7 @@ nav#at_the_top:after {
11011103 header : hover > nav # at_the_top > div .desktop_picker_group span ,
11021104 header : focus-within > nav # at_the_top > div .desktop_picker_group span {
11031105 border : 2px solid var (--footer-input-border-color );
1104- border-right : none;
1106+ border-inline-end : none;
11051107 }
11061108 header : hover > nav # at_the_top > pluto-filepicker button ,
11071109 header : focus-within > nav # at_the_top > pluto-filepicker button ,
@@ -1643,6 +1645,7 @@ pluto-input .cm-editor {
16431645 /* Make sure that scrolling an editor into view gives some breathing room */
16441646 scroll-margin-block : 20vh ;
16451647 min-height : 25px ;
1648+ direction : ltr;
16461649}
16471650pluto-input : focus-within .cm-editor {
16481651 /* z-index increased by 1 to make sure that the autocomplete window shows above all other editors, see https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Positioning/Understanding_z_index/The_stacking_context */
@@ -1708,7 +1711,6 @@ pluto-shoulder {
17081711 --invisible-border : calc (0.5 * var (--pluto-cell-spacing ));
17091712 --shoulder-width : calc (28px + var (--invisible-border ));
17101713 --border-radius : calc (5px + var (--invisible-border ));
1711-
17121714 left : calc (0px - var (--shoulder-width ));
17131715 width : var (--shoulder-width );
17141716 border-radius : var (--border-radius ) 0px 0px var (--border-radius );
@@ -1722,6 +1724,7 @@ pluto-shoulder {
17221724 bottom : calc (0px - var (--invisible-border ));
17231725 border : var (--invisible-border ) solid rgba (0 , 0 , 0 , 0 );
17241726 border-right : none;
1727+ direction : ltr;
17251728}
17261729pluto-editor .fullscreen pluto-shoulder {
17271730 --shoulder-width : 2000px ;
@@ -2103,9 +2106,8 @@ pluto-input > .input_context_menu li button {
21032106 margin-top : 1px ;
21042107 background-size : var (--size ) var (--size );
21052108 background-position : center;
2106- margin-right : calc (var (--size ) / 3 );
2109+ margin-inline-end : calc (var (--size ) / 3 );
21072110}
2108-
21092111.ctx_icon {
21102112 filter : var (--image-filters );
21112113}
@@ -2748,7 +2750,7 @@ pluto-helpbox > header > button.helpbox-tab-key > .tabicon {
27482750 background-size : var (--size );
27492751 margin-bottom : calc (-0.15 * var (--size ));
27502752 filter : var (--image-filters );
2751- margin-right : 0.6em ;
2753+ margin-inline-end : 0.6em ;
27522754 display : inline-block;
27532755}
27542756pluto-helpbox > header > button .helpbox-docs > .tabicon {
@@ -2901,7 +2903,7 @@ button.helpbox-tab-key {
29012903}
29022904
29032905button .helpbox-tab-key .helpbox-process {
2904- margin-right : auto;
2906+ margin-inline-end : auto;
29052907}
29062908
29072909button .helpbox-process .busy {
@@ -3309,7 +3311,7 @@ footer form > label {
33093311}
33103312
33113313footer form > label {
3312- margin-right : 1em ;
3314+ margin-inline-end : 1em ;
33133315 flex : 0 1 auto;
33143316 overflow : hidden;
33153317 text-overflow : ellipsis;
@@ -3339,17 +3341,21 @@ footer input {
33393341 background : var (--white );
33403342 font-family : inherit;
33413343 font-size : inherit;
3342- border-radius : 3px 0 0 3px ;
3344+ border-radius : 3px ;
3345+ border-end-end-radius : 0 ;
3346+ border-start-end-radius : 0 ;
33433347 padding : 3px ;
3344- border-right : none;
3348+ border-inline-end : none;
33453349}
33463350
33473351header # pluto-nav pluto-filepicker button ,
33483352header # pluto-nav .desktop_picker_group button ,
33493353footer button {
33503354 margin : 0px ;
33513355 background : var (--footer-filepicker-focus-color );
3352- border-radius : 0 3px 3px 0 ;
3356+ border-radius : 3px ;
3357+ border-start-start-radius : 0 ;
3358+ border-end-start-radius : 0 ;
33533359 border : 3px solid var (--footer-filepicker-focus-color );
33543360 color : var (--footer-filepicker-button-color );
33553361 /* border: none; */
@@ -3378,7 +3384,7 @@ footer #info {
33783384 display : flex;
33793385 align-items : center;
33803386 gap : 0.5rem ;
3381- margin-right : 1rem ;
3387+ margin-inline-end : 1rem ;
33823388 font-size : 0.75rem ;
33833389 flex : 0 2 auto;
33843390}
0 commit comments