severity0 bugged?

[marartner]

    console.log('<font severity="0">severity0</font>');
    console.log('<font severity="1">severity1</font>');
    console.log('<font severity="2">severity2</font>');
    console.log('<font severity="3">severity3</font>');
    console.log('<font severity="4">severity4</font>');
    console.log('<font severity="5">severity5</font>');
    console.log('<font type="highlight">highlight</font>');

results in:

severity0 doesn't seem to be colored as it should - based on docs and sourcecode both I'd expect dark blue, instead it's dark cyan.

When I input "themes test" it is displayed correctly, so the problem seems to be in regards to evaluating the severity tag, not the theme settings (which appear to be correct anyway)