Hallo again!
You are absolutely right about this! But I can tell you what Andi will answer (because I asked him the same thing right after the css dispatcher was out): "That's what templates are for ..." :-(during the last days I adapted my theme to the new release and found that the color control via style.ini reaches not very far. In the past I changed design.css and layout.css to match my needs but this produces extra work with every new release of dokuwiki.
Furthermore the definition of a color like this: __lightgray__="#f5f5f5" makes not much sense to me.
Easier for the theme editor to understand would be to name the patterns according there function. For instance __link_external__ for an external link or __tab_border__ for the table border. This could look like this:
Sorry about that! :-) It must be coincidence.
2. All my recent patches to CSS files were filtered by Anika. Is she the one and only to change dokuwikis CSS? I have to be sure here before I start this time consuming task. This work should be done only once. ;-)
In this context I have another question: How are plugins themeable? In case of the user manager I tried to change the CSS for the disabled button, but the default css file seems to be priviledged.
I think, plugins *must not* be themeable! Because changing a template would very often lead to invalid css.
Anika -- DokuWiki mailing list - more info at http://wiki.splitbrain.org/wiki:mailinglist