From 913551b96091a770446c534f00d7024f12f1092e Mon Sep 17 00:00:00 2001 From: "Bradley M. Kuhn" Date: Thu, 6 Nov 2014 14:49:23 -0500 Subject: [PATCH] Add css for guide and include it from webhacks. --- css/guide.css | 3 +++ webhacks.cfg | 1 + 2 files changed, 4 insertions(+) create mode 100644 css/guide.css diff --git a/css/guide.css b/css/guide.css new file mode 100644 index 0000000..dc5b895 --- /dev/null +++ b/css/guide.css @@ -0,0 +1,3 @@ +body > p.noindent { + text-indent:1em; +} diff --git a/webhacks.cfg b/webhacks.cfg index 692a8ac..aef8dfa 100644 --- a/webhacks.cfg +++ b/webhacks.cfg @@ -1,6 +1,7 @@ \Preamble{xhtml} \begin{document} \Configure{@HEAD}{\HCode{ \Hnewline}} +\Configure{@HEAD}{\HCode{ \Hnewline}} \Configure{@HEAD}{\HCode{\Hnewline}} \Configure{@HEAD}{\HCode{\Hnewline}} \Configure{@HEAD}{\HCode{\Hnewline}}