File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7373< span class ="pn "> $</ span > asrfacet-rb < span class ="fl "> --console</ span >
7474
7575< span class ="cm "> # Useful inside the console</ span >
76- < span class ="kw "> help</ span >
77- < span class ="kw "> about</ span >
78- < span class ="kw "> explain</ span > < span class ="ar "> scope</ span >
79- < span class ="kw "> manual</ span > < span class ="ar "> workflow</ span >
76+ < span class ="pn " > asrfrb > </ span > < span class =" kw "> help</ span >
77+ < span class ="pn " > asrfrb > </ span > < span class =" kw "> about</ span >
78+ < span class ="pn " > asrfrb > </ span > < span class =" kw "> explain</ span > < span class ="ar "> scope</ span >
79+ < span class ="pn " > asrfrb > </ span > < span class =" kw "> manual</ span > < span class ="ar "> workflow</ span >
8080 </ div >
8181 </ div >
8282 </ section >
Original file line number Diff line number Diff line change @@ -861,6 +861,7 @@ code {
861861 line-height : 1.85 ;
862862 padding : 20px 22px ;
863863 overflow-x : auto;
864+ white-space : pre;
864865 color : # ff8080 ;
865866}
866867.code-body .cm { color : var (--txt3 ); } /* comment */
@@ -871,7 +872,8 @@ code {
871872.code-body .pn {
872873 color : var (--txt3 );
873874 display : inline-block;
874- width : 4ch ;
875+ width : 8ch ;
876+ min-width : 8ch ;
875877 text-align : right;
876878 margin-right : 1ch ;
877879} /* prompt */
@@ -1119,6 +1121,7 @@ tbody td code { white-space: nowrap; }
11191121 border : 1px solid var (--border2 );
11201122 padding : 14px 16px ;
11211123 overflow-x : auto;
1124+ white-space : pre;
11221125 line-height : 1.9 ;
11231126}
11241127.example-code .cm { color : var (--txt3 ); }
@@ -1133,6 +1136,7 @@ tbody td code { white-space: nowrap; }
11331136 background : rgba (0 , 0 , 0 , 0.3 );
11341137 border : 1px solid var (--border2 );
11351138 padding : 10px 14px ;
1139+ white-space : pre;
11361140 line-height : 1.9 ;
11371141}
11381142
You can’t perform that action at this time.
0 commit comments