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