15 border-right: 1px solid
#ccc;
25 border-left: 4px solid
#f3f3f3;
26 padding: 0.5em 0.5em 0.5em 1em;
30 white-space: pre-wrap
;
46 border-bottom: 1px solid black
;
59 margin: -0.44444em -0.44444em 0;
72 padding: 0 2.5em 0 1em;
88 border: 0.5em solid white
;
89 border-right-color: transparent
;
90 border-top-color: transparent
;
91 border-bottom-color: transparent
;
101 font-family: "MSharp Mono DL", "Msharp Mono BG", monospace
;
108 ::-webkit-scrollbar
{
115 ::-webkit-scrollbar-thumb
{
116 background: rgba
(0, 0, 0, 0.2);
120 ::-webkit-scrollbar-thumb:hover
{
121 background: rgba
(0, 0, 0, 0.4);
125 ::-webkit-scrollbar-track-piece
{
126 background: rgba
(0, 0, 0, 0.05);