Github Dark Theme

[tilucasoli]

I want to apply Github's dark theme. What do you think is the best way to do it?

[vlidholt]

Create a theme file (in the themes directory and make a pull request? :)