modify div.textwidget select#rpdropdown
@steve: thanks for replying. Unfortunately (and strangely) that is not the one…
you need to use “!important” because the theme uses !important when it sets its own font. <sigh>
see http://pix.toile-libre.org/upload/original/1472564326.png
@steve: ha ha (<sigh>)…
I had done so, and again now. Then I put it at the top of style.css. Still no luck. Can’t overwrite their !important. Doesn’t show in Chrome, Opera or Safari. (And yes, I had emptied cache :-))
Is there a safe way to remove their !important? Or can’t I mess with that code…
Don’t mess with the theme’s CSS; use a custom CSS plugin like Simple Custom CSS.
@steve: Just did so. When I look behind the scenes it’s like it takes (element). But at the front end I see no change…
What CSS did you add? Do you have any caching plugins? (If so, disable them while testing)
I use the Simple Custom CSS plugin for my sites and I do notice that when you want to make a CSS change you will need to save the code and then hit the refresh button on your browser window a couple of times to get the change to take place. It could be as simple as that or it could be a whole other animal.
@steve: this is what I did in the CSS plugin:
/* div.textwidget select#rpdropdown {font-family: timshandmedium !important; font-size:0.8em !important;} */
I have no cache plugins, but I did shut them all down to see. It didn’t change the font.
@Admiral-A: I do empty the cache each time, but still no luck…
the /* */ comment that out.
What I suggested should work. If it’s not, I suggest you contact the developer(s) of your theme.