dwb/userstyles/update-github

   1 #! /bin/bash
   2
   3 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
   4
   5 out="$DIR/github.com.css"
   6 theme="wombat"
   7
   8 wget "https://github.com/StylishThemes/GitHub-Dark/raw/master/github-dark.css" \
   9      -O "$out"
  10
  11 sed '/@-moz-document/d;/^}/d' -i "$out"