[pmwiki-users] Problems with the embedded CSS in pmwiki.php

[Hans]

> Automatically generating pmwiki-core.css is
> easy enough, so that it can be updated between PmWiki releases, and I
> can null the embedded styles in skin.php with:
>
>   global $HTMLStylesFmt;
>   $HTMLStylesFmt['pmwiki']    = '';
>   $HTMLStylesFmt['diff']              = '';
>   $HTMLStylesFmt['simuledit'] = '';
>   $HTMLStylesFmt['markup']    = '';
>   $HTMLStylesFmt['urlapprove']= '';
>   $HTMLStylesFmt['vardoc']    = '';
>   $HTMLStylesFmt['wikistyles']= '';

The one a.vardoc style definition is not suppressed, because
in scripts/vardoc.php $HTMLStylesFmt['vardoc']
is not defined as SDV. Could this be changed please?


Hans