From 6fc4b0804df9c1f4891cceaedbaac01f8c77cedd Mon Sep 17 00:00:00 2001
From: Mario Wenzel <maweki@gmail.com>
Date: Wed, 27 Jun 2018 09:39:41 +0200
Subject: [PATCH] website basics
---
www/build.sh | 4 ++++
www/style.css | 10 ++++++++++
www/upload.sh | 0
3 files changed, 14 insertions(+)
create mode 100644 www/style.css
mode change 100644 => 100755 www/upload.sh
diff --git a/www/build.sh b/www/build.sh
index e7e37a2..33480b3 100755
--- a/www/build.sh
+++ b/www/build.sh
@@ -1,5 +1,9 @@
#!/bin/bash
cd "$(dirname "$0")"
wget -O out/bootstrap.min.css https://stackpath.bootstrapcdn.com/bootstrap/4.1.1/css/bootstrap.min.css
+echo "/* custom style */" >> out/bootstrap.min.css
+cat style.css >> out/bootstrap.min.css
+
pandoc -s -T "Benchmarks of Deductive Database Systems, Relational Databases, and Graph Databases" --toc -c bootstrap.min.css index.md -o out/index.html
+sed -i -e 's/<table>/<table class="table table-striped table-bordered table-sm">/g' out/*.html
diff --git a/www/style.css b/www/style.css
new file mode 100644
index 0000000..67ba635
--- /dev/null
+++ b/www/style.css
@@ -0,0 +1,10 @@
+body {
+ margin: 4em;
+ margin-top: 2em;
+}
+h3 {
+ font-size: 1.5rem;
+ padding-top: 0.5em;
+}
+
+h2 { padding-top: 1em; }
diff --git a/www/upload.sh b/www/upload.sh
old mode 100644
new mode 100755
--
GitLab