How to change font and font size?

[GoogleCodeExporter]

What steps will reproduce the problem?
1.
I'm trying to change the font to "Courier New" and the font size to 12pt.

I created this user css:

#vt100 #console, #vt100 #alt_console, #vt100 #cursor, #vt100 #lineheight {  
   font-family: "Courier New", "DejaVu Sans Mono", "Everson Mono", FreeMono, "Andale Mono", "Lucida Console", monospace;
   font-size:   12pt;
}

What is the expected output? What do you see instead?
After its implementation it works fine when calling the site directly with 
"http://<server>:4200". I only need to reload the site after made the changing 
to make the cursor size and position change. But I also must load the site a 
aecond time after starting the my browser (MSIE 8) when the changing is already 
saved. Otherwize the cursor size is too small und half of the letters are 
clipped.
As I said, after the second load it works fine.

Now I want to implement ShellInABox in an other Website as an iframe, and here 
comes my problem:

In the iframe the size of the cursor is staying too small when using "Courier 
New 12pt" and the letters keep clipped, reloading the iframes doesn't help here.

What version of the product are you using? On what operating system?
ShellInAbox v2.10
openSUSE 10.2 with Apache 2.2.3
Client Browser MSIE 8

Please provide any additional information below.

Original issue reported on code.google.com by honk1...@web.de on 13 Jun 2010 at 3:27

[GoogleCodeExporter]

try adding the following to your user-css:

#vt100 #linheight {
        height: 16px;
}

For each additional size, just make sure height matches your font size.

Original comment by mnsli...@gmail.com on 21 Jul 2010 at 2:49

[GoogleCodeExporter]

it doesn't work (I've already tried this one).
you are able to get smaller fonts (by using the statament "font-size") but 
lineheight doesn't change.
You can check it by using "firebug" add-on on firefox, or Chrome developer 
tools. You'll see that the height doesn't change from 19px.

Original comment by maxad...@gmail.com on 22 Jul 2010 at 11:39

[GoogleCodeExporter]

This is fixed in revision 219.

Original comment by zod...@gmail.com on 3 Sep 2010 at 6:01

• Changed state: Fixed

[GoogleCodeExporter]

Issue 77 has been merged into this issue.

Original comment by zod...@gmail.com on 3 Sep 2010 at 6:01

[GoogleCodeExporter]

Having this issue in the latest Chrome, I can adjust font size but not line 
height.

Original comment by spmb...@gmail.com on 20 Oct 2013 at 4:43