[pmwiki-users] over-ride recipe's css for one wiki

[Tegan Dowling]

The recipe pagetoc contains the following:

$HTMLStylesFmt['tocf'] = "
div.tocfloat { font-size: $TocSize; margin-bottom: 10px;
    border-top: 1px dotted #555555; border-bottom: 1px dotted #555555;
    padding-top: 5px; padding-bottom: 5px;
    width: 38%; float: right; margin-left: 10px; clear: right;
    margin-right:-13px; padding-right: 13px; padding-left: 13px;
    background-color: #eeeeee; }
div.toc { font-size: $TocSize;
    padding: 5px; border: 1px dotted #cccccc;
    background: #f7f7f7;
    margin-bottom: 10px; }
div.toc p { background-color: #f9f6d6;
    margin-top:-5px;   padding-top: 5px;
    margin-left:-5px;  padding-left: 5px;
    margin-right:-5px; padding-right: 5px;
    padding-bottom: 3px;
    border-bottom:  1px dotted #cccccc; }";

Because I'm using white text on one of my wikis, I'd like to change
the background color of the of the top row of the tables, i.e. want to
change
div.toc p { background-color: #f9f6d6; to
div.toc p { background-color: #333333;

Obviously, having located this line in the recipe, I could just change
it there, but I'd rather do it right -- either in my skin's. .css file
or in my local/config.php.

How would I do that?  I tried putting
div.toc p { background-color: #333333;} into my .css file, and nothing
chnged.  So I guess I got the css wrong (OR maybe this is an instance
where the location of the htmlheader line in the skin template has
screwed me up)?