Skip to content

Commit 2d92880

Browse files
committed
htmlreport: make content div overflow the menu properly when scrolling horizontally.
1 parent 5a8293d commit 2d92880

File tree

1 file changed

+20
-10
lines changed

1 file changed

+20
-10
lines changed

htmlreport/cppcheck-htmlreport

Lines changed: 20 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -48,10 +48,10 @@ body {
4848
-webkit-box-sizing: content-box;
4949
-moz-box-sizing: content-box;
5050
box-sizing: content-box;
51-
margin: 30px;
51+
margin: 10px;
5252
overflow: auto;
53-
padding: 5px 20px;
54-
width: 60em;
53+
padding: 5px 10px;
54+
width: auto;
5555
}
5656
5757
#header {
@@ -62,28 +62,38 @@ body {
6262
float: left;
6363
margin-top: 5px;
6464
text-align: left;
65-
width: 130px;
66-
height: 50em;
65+
width: 150px;
66+
height: 75%;
6767
position: fixed;
6868
overflow: auto;
69+
z-index: 1;
6970
}
7071
7172
#menu > a {
7273
display: block;
73-
margin-left: 8px;
74+
margin-left: 10px;
7475
font: 12px;
76+
z-index: 1;
77+
}
78+
79+
.highlighttable {
80+
background-color:white;
81+
z-index: 10;
82+
position: relative;
83+
margin: -10 px;
7584
}
7685
7786
#content {
87+
background-color: white;
7888
-webkit-box-sizing: content-box;
7989
-moz-box-sizing: content-box;
8090
box-sizing: content-box;
81-
border-left: thin solid #aaa;
8291
float: left;
8392
margin: 5px;
93+
margin-left: 10px;
8494
padding: 0 10px 10px 10px;
8595
width: 80%;
86-
padding-left: 100px;
96+
padding-left: 150px;
8797
}
8898
8999
.linenos {
@@ -119,8 +129,8 @@ HTML_HEAD = """
119129
<h1>Cppcheck report - %s</h1>
120130
</div>
121131
<div id="menu" dir="rtl">
122-
<a href="index.html">Defect list</a>
123-
<br>
132+
<a href="index.html">Defect list</a>
133+
<br>
124134
"""
125135

126136
HTML_HEAD_END = """

0 commit comments

Comments
 (0)