diff --git a/www/build.sh b/www/build.sh index e7e37a2d787682b54bfb4ca5825afb08753e56b7..33480b32f2ce35b6289c3592c298339515907b9f 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 0000000000000000000000000000000000000000..67ba63562bea610521e8489cbaa7774247deb71d --- /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