Changeset - 33a57f96c5e0
default
0
1
0
diff: fix width of line number columns
Column widths did in some cases break with 32757d5e9d0b. The markup was too
magic to find and fix the exact root cause, but we fix it by refactoring to a
slightly different approach:
Use fixed table-layout to be able to control columns width from the first row,
without too much auto sizing.
Instead of using padding, put the line number in a centered block-inline with
right-align and min-width. The numbers will thus generally be right aligned,
but will expand to use less margin for big line numbers.
Column widths did in some cases break with 32757d5e9d0b. The markup was too
magic to find and fix the exact root cause, but we fix it by refactoring to a
slightly different approach:
Use fixed table-layout to be able to control columns width from the first row,
without too much auto sizing.
Instead of using padding, put the line number in a centered block-inline with
right-align and min-width. The numbers will thus generally be right aligned,
but will expand to use less margin for big line numbers.
1 file changed with 7 insertions and 11 deletions:
0 comments (0 inline, 0 general)
0 comments (0 inline, 0 general)