Should be font-size: 1em;.

Comments

geerlingguy’s picture

Also change the following in html-elements.css:

pre, code
{
  background-color: #EEE;
  font-size: .9em;
  font-family: "Bitstream Vera Sans Mono", "Courier New", monospace;
}
geerlingguy’s picture

Status: Active » Fixed

Changed to font-size: .923em; to match page's base font size. Corrected for 6.x-1.8.

Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for 2 weeks with no activity.