Fix white space styling in manual

This commit is contained in:
Alex Cabal 2020-09-18 19:59:30 -05:00
parent b444b26414
commit 63979eef39

View file

@ -121,6 +121,7 @@ h3 abbr.initialism{
font-variant: normal; font-variant: normal;
} }
code.ws,
code.string, code.string,
code.tag, code.tag,
code.path, code.path,
@ -554,16 +555,14 @@ figure.corrected code{
top: .5rem; top: .5rem;
} }
.ws{ span.ws{
border: 1px solid #222; border: 1px solid #222;
padding: .1rem; padding: .1rem;
line-height: 1; line-height: 1;
margin: 0 .1rem; margin: 0 .1rem;
font-size: .5rem; font-size: .5rem;
display: inline-block; display: inline-block;
font-family: monospace;
vertical-align: middle; vertical-align: middle;
margin-top: -3px; /* to match poor crimson alignment */
} }
code.terminal b, code.terminal b,