#! /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"