Michel mf81bln

## delete_local_branches.sh
git fetch --all -p; git branch -vv | grep ": gone]" | awk '{ print $1 }' | xargs -n 1 git branch -D

## menu.css
/* Click open/close Dropdown in pure CSS */

/* Disclaimer: Not the most semantic
   thing in the universe. */

/* Forked from original idea
   http://jsfiddle.net/paullferguson/Sv54G/3/ */

.tabs {
    position: relative;