diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-04-26 22:23:47 -0500 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-04-26 22:23:47 -0500 |
commit | aa975b4728c050e00034b579afd137a49f0642bf (patch) | |
tree | 87893107f2ebf0080c44c255f012e11855e619f0 /src/pretty.css | |
parent | efc1f603330f0c06a37aa64a194785cad44247c5 (diff) | |
download | docs-aa975b4728c050e00034b579afd137a49f0642bf.tar.gz docs-aa975b4728c050e00034b579afd137a49f0642bf.tar.bz2 docs-aa975b4728c050e00034b579afd137a49f0642bf.tar.xz docs-aa975b4728c050e00034b579afd137a49f0642bf.zip |
Add Porting Guide to Makefile, and fix XML issues
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; +} |