css: batch file to postprocess all CSS files.

diff --git a/css/postprocess.sh b/css/postprocess.sh
new file mode 100755 (executable)
index 0000000..8fc3947
--- /dev/null
+++ b/css/postprocess.sh
@@ -0,0 +1,7 @@
+./postprocess.py m-dark.css
+./postprocess.py m-dark.css m-doxygen.css -o m-dark+doxygen.compiled.css
+./postprocess.py m-dark.css m-doxygen.css --no-import -o m-dark.doxygen.compiled.css
+
+./postprocess.py m-light.css
+./postprocess.py m-light.css m-doxygen.css -o m-light+doxygen.compiled.css
+./postprocess.py m-light.css m-doxygen.css --no-import -o m-light.doxygen.compiled.css