make css margins of line numbers grow if > 999 lines

[jaeh]

at the moment, the line-number css width is big enough to take up to 3 numeric chars as line numbers,
this margin should increase if code line length is > 999.