From aa975b4728c050e00034b579afd137a49f0642bf Mon Sep 17 00:00:00 2001 From: "A. Wilcox" Date: Thu, 26 Apr 2018 22:23:47 -0500 Subject: Add Porting Guide to Makefile, and fix XML issues --- src/pretty.css | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'src/pretty.css') 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; +} -- cgit v1.2.3-60-g2f50