Set the width of the highlight table to 100%

At the moment the width of the highlight table with line numbers
differes from the highlight table without line numbers. Setting the
width of the highlight table to 100% will solve this issue.

Change-Id: Ib784b6e572743a109cf425ec76d74b1e4cb71296
This commit is contained in:
Christian Berendt
2015-10-02 22:40:02 +02:00
committed by Christian Berendt
parent e99a04b581
commit 9cb36d339e

View File

@@ -4618,3 +4618,7 @@ input[type="checkbox"], input[type="radio"] {
div.tooltip-inner {
max-width: 350px;
}
table.highlighttable {
width: 100%;
}