From 105dd71ba5f755e3f8a5e0613ef8883a717258a4 Mon Sep 17 00:00:00 2001 From: Gunnar Beutner Date: Thu, 26 Sep 2013 14:55:43 +0200 Subject: [PATCH] Update documentation CSS. --- doc/mkdoc.sh | 3 ++- doc/toc-margin.css | 3 +++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 doc/toc-margin.css diff --git a/doc/mkdoc.sh b/doc/mkdoc.sh index 955ffca30..7dd31c5a8 100755 --- a/doc/mkdoc.sh +++ b/doc/mkdoc.sh @@ -6,7 +6,7 @@ cat < - +<xmp theme="cerulean" style="display:none;"> HTML for file in *.md; do @@ -26,6 +26,7 @@ cat <<HTML 'selectors': 'h1,h2,h3,h4,h5,h6' }); </script> +<link rel="stylesheet" type="text/css" href="toc-margin.css" media="screen" /> </head> <body> <div id="content" /> diff --git a/doc/toc-margin.css b/doc/toc-margin.css new file mode 100644 index 000000000..649afec54 --- /dev/null +++ b/doc/toc-margin.css @@ -0,0 +1,3 @@ +.container { + margin-left: 300px; +}