craigerm/dark-octo-themes — pull request #2 by maxgoedjen (2013-01-19 09:10:28+00:00)
Title: Basic customization

Added options panel, which shows an editable version of the default css theme.
Also added [sidetracked theme](https://github.com/drudge/Sidetracked).