--- /dev/null
+#! /bin/bash
+
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+
+out="$DIR/github.com.css"
+theme="wombat"
+
+wget "https://github.com/StylishThemes/GitHub-Dark/raw/master/github-dark.css" \
+ "https://github.com/StylishThemes/GitHub-Dark/raw/master/themes/src/pygments-${theme}.css" \
+ -O "$out"
+
+sed '/@-moz-document/d;/^}/d' -i "$out"