[Conkeror] Changing font in minibuffer etc.: further help wanted

[Joe Fineman]

Jeremy Maitin-Shepard <jeremy at jeremyms.com> writes:

> Joe Fineman <joe_f at verizon.net> writes:

[...]

> > Perusing the CSS files in the content/ directory, I gather that
> > /Conkeror/conkeror/chrome/userChrome.css should contain something
> > like this:

> > ??? {
> >   font-family: monospace;
> > }

> > but I did not see anything in the files that looked like a
> > specification for the minibuffer etc.  I tried ???=body, but that did
> > not work.

> Note that the DOM inspector extension may be helpful.

I have Googled "DOM inspector", but I'm afraid I am none the wiser.

> The correct specification to use is:

> #minibuffer if you want to affect everything in the minibuffer area
> [...] 

My file c:/Conkeror/conkeror/chrome/userChrome.css now reads:

#minibuffer {
  font-family: monospace;
}

I restarted Conkeror, but it has the same old font.  Do I have to
reboot the computer as well?

I have reached the cocktail hour.  Thank you for your patience.
-- 
---  Joe Fineman    joe_f at verizon.net

||:  Politicians need to have an indecent respect for the opinion  :||
||:  of mankind.                                                   :||