htmlreport: make content div overflow the menu properly when scrolling horizontally.

This commit is contained in:
Matthias Krüger 2014-06-01 11:28:02 +02:00
parent 5a8293d033
commit 2d92880d30
1 changed files with 20 additions and 10 deletions

View File

@ -48,10 +48,10 @@ body {
-webkit-box-sizing: content-box; -webkit-box-sizing: content-box;
-moz-box-sizing: content-box; -moz-box-sizing: content-box;
box-sizing: content-box; box-sizing: content-box;
margin: 30px; margin: 10px;
overflow: auto; overflow: auto;
padding: 5px 20px; padding: 5px 10px;
width: 60em; width: auto;
} }
#header { #header {
@ -62,28 +62,38 @@ body {
float: left; float: left;
margin-top: 5px; margin-top: 5px;
text-align: left; text-align: left;
width: 130px; width: 150px;
height: 50em; height: 75%;
position: fixed; position: fixed;
overflow: auto; overflow: auto;
z-index: 1;
} }
#menu > a { #menu > a {
display: block; display: block;
margin-left: 8px; margin-left: 10px;
font: 12px; font: 12px;
z-index: 1;
}
.highlighttable {
background-color:white;
z-index: 10;
position: relative;
margin: -10 px;
} }
#content { #content {
background-color: white;
-webkit-box-sizing: content-box; -webkit-box-sizing: content-box;
-moz-box-sizing: content-box; -moz-box-sizing: content-box;
box-sizing: content-box; box-sizing: content-box;
border-left: thin solid #aaa;
float: left; float: left;
margin: 5px; margin: 5px;
margin-left: 10px;
padding: 0 10px 10px 10px; padding: 0 10px 10px 10px;
width: 80%; width: 80%;
padding-left: 100px; padding-left: 150px;
} }
.linenos { .linenos {
@ -119,8 +129,8 @@ HTML_HEAD = """
<h1>Cppcheck report - %s</h1> <h1>Cppcheck report - %s</h1>
</div> </div>
<div id="menu" dir="rtl"> <div id="menu" dir="rtl">
<a href="index.html">Defect list</a> <a href="index.html">Defect list</a>
<br> <br>
""" """
HTML_HEAD_END = """ HTML_HEAD_END = """