File tree Expand file tree Collapse file tree 2 files changed +14
-1
lines changed
Expand file tree Collapse file tree 2 files changed +14
-1
lines changed Original file line number Diff line number Diff line change 100100 box-shadow : 0.15em 0.15em 0.3em var (--shady-two );
101101 }
102102}
103+
104+ pre .terminal {
105+ background : var (--bulma-black );
106+ color : var (--bulma-white );
107+ border-radius : 8px ;
108+ border : 1px solid var (--bulma-grey-darker );
109+ // box-shadow: 0 4px 12px var(--bulma-grey-darker);
110+
111+ .symbol {
112+ color : var (--bulma-warning );
113+ user-select : none ;
114+ }
115+ }
Original file line number Diff line number Diff line change @@ -33,7 +33,7 @@ <h4 class="title is-4">Input document</h4>
3333 < pre class ="sample " data-language ="{{ typesetter }} "> {{ source }}</ pre >
3434
3535 < h4 class ="title is-4 "> Render command</ h4 >
36- < code > {{ manifest.cmd }}</ code >
36+ < pre class =" terminal " > < code > < span class =" symbol " > $ </ span > {{ manifest.cmd }}</ code > </ pre >
3737 </ div >
3838</ div >
3939
You can’t perform that action at this time.
0 commit comments