website: Move CSS into the website directory.

That way, there is no need to copy it when building the website.

* Makefile.am (website/style.css): Delete target.
(website): Do not depend on the website/style.css target.
(clean-local): Clean up only website/index.html and
website/manual/dev/en, not the entire website directory.
* style.css: Move to website/style.css.

1 files changed, 17 insertions, 0 deletions

diff --git a/website/style.css b/website/style.css
new file mode 100644
index 0000000..708d9aa
--- /dev/null
+++ b/website/style.css
@@ -0,0 +1,17 @@
+body {
+    margin: 40px auto;
+    max-width: 900px;
+    line-height: 1.6;
+    font-size: 18px;
+    color: #444;
+    padding: 0 10px;
+}
+
+h1, h2, h3 {
+    line-height: 1.2;
+}
+
+/* Make the svg badges clickable. */
+object {
+    pointer-events: none;
+}