website: Reference external stylesheet.

* website/style.css: New file.
* Makefile.am (AM_MAKEINFOHTMLFLAGS): Set to --css-ref=/style.css.
* build-aux/build-website.el (org-html-head): Set to <link> tag
referencing external stylesheet.

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;
+}