diff options
| -rw-r--r-- | Makefile.am | 2 | ||||
| -rw-r--r-- | build-aux/build-website.el | 14 | ||||
| -rw-r--r-- | website/style.css | 12 |
3 files changed, 15 insertions, 13 deletions
diff --git a/Makefile.am b/Makefile.am index 9a04231..2dcf301 100644 --- a/Makefile.am +++ b/Makefile.am @@ -72,6 +72,8 @@ EXTRA_DIST += \ COPYING \ README.org +AM_MAKEINFOHTMLFLAGS = --css-ref=/style.css + website: website/index.html website/manual/dev/en website/index.html: README.org diff --git a/build-aux/build-website.el b/build-aux/build-website.el index f10b89b..3bea2ad 100644 --- a/build-aux/build-website.el +++ b/build-aux/build-website.el @@ -22,19 +22,7 @@ (setq org-export-with-section-numbers nil org-export-with-sub-superscripts nil org-export-with-toc nil - org-html-head "<style type=\"text/css\"> - body { - margin: 40px auto; - max-width: 650px; - line-height: 1.6; - font-size: 18px; - color: #444; - padding: 0 10px; - } - h1, h2, h3 { - line-height: 1.2; - } -</style>" + org-html-head "<link rel=\"stylesheet\" type=\"text/css\" href=\"style.css\" />" org-html-head-include-default-style nil org-html-head-include-scripts nil org-html-postamble nil) diff --git a/website/style.css b/website/style.css new file mode 100644 index 0000000..6f73a82 --- /dev/null +++ b/website/style.css @@ -0,0 +1,12 @@ +body { + margin: 40px auto; + max-width: 650px; + line-height: 1.6; + font-size: 18px; + color: #444; + padding: 0 10px; +} + +h1, h2, h3 { + line-height: 1.2; +} |