From 913551b96091a770446c534f00d7024f12f1092e 2014-11-06 19:49:23 From: Bradley M. Kuhn Date: 2014-11-06 19:49:23 Subject: [PATCH] Add css for guide and include it from webhacks. --- diff --git a/css/guide.css b/css/guide.css new file mode 100644 index 0000000000000000000000000000000000000000..dc5b89569894de95645f2ea4b7fe36f85d20568d --- /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 692a8ac4d8aa939d7d7a2a48a92e0e43e4e8577a..aef8dfa35e915a157c529fc37df08a4b113257df 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}}