Giovanni Campagna f78e17ce02 theme: don't parse the default stylesheet twice
If we don't have a custom theme, set the stylesheet as the
default only, so we don't parse it twice.
2013-08-06 16:08:36 +02:00
..
2013-07-02 14:17:38 -04:00
2013-05-13 18:34:26 -04:00
2013-04-06 11:10:30 -04:00
2011-11-11 11:15:38 -05:00