diff options
Diffstat (limited to 'src/pretty.css')
-rw-r--r-- | src/pretty.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/pretty.css b/src/pretty.css index 95b4cd9..0431ade 100644 --- a/src/pretty.css +++ b/src/pretty.css @@ -1,3 +1,25 @@ body { font-family: 'Liberation Sans',sans-serif; } + +.command { + font-family: 'Liberation Mono',monospace; + font-size: 14px; +} + +/* normalise size with command */ +code { + font-size: 14px; +} + +.userinput { + font-style: italic; +} + +code.prompt { + color: green; +} + +em.parameter { + font-style: normal; +} |