--- /dev/null
+#! /bin/bash
+
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+
+out="$DIR/gitlab.com.css"
+theme="wombat"
+
+wget "https://gitlab.com/maxigaz/gitlab-dark/raw/master/gitlab-dark.user.css" \
+ -O "$out"
+
+sed '/@-moz-document/s/$/, domain("gitlab.ultrahaptics.com")/' -i "$out"