I was wondering if Gnome DO is themable, besides the 5 pre-installed themes.. I took a look at the projects' page and didn't discover anything. Do you know if there is any chance of unofficial theming or theming plugins? Have anyone tried to change the source code in order to change the theme?