Simplify dark skin + fix issue
This makes the dark skin lighter (in weight :p) by not importing only what is necessary from the default theme.
Edited by Nicolas Frandeboeuf
This makes the dark skin lighter (in weight :p) by not importing only what is necessary from the default theme.