File tree Expand file tree Collapse file tree 1 file changed +20
-10
lines changed
Expand file tree Collapse file tree 1 file changed +20
-10
lines changed Original file line number Diff line number Diff 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
126136HTML_HEAD_END = """
You can’t perform that action at this time.
0 commit comments