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      "https://github.com/StylishThemes/GitHub-Dark/raw/master/themes/src/pygments-${theme}.css" \
  10      -O "$out"
  11
  12 sed '/@-moz-document/d;/^}/d' -i "$out"