From 275e2501ff23325cb4238073308899ff83609850 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Thu, 5 Jun 2014 22:09:28 +0200 Subject: [PATCH 1/2] htmlreport: fix syntax highlighting broken in ca4a0af840f45107ce33d902bd4d77d5af09aedf. --- htmlreport/cppcheck-htmlreport | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/htmlreport/cppcheck-htmlreport b/htmlreport/cppcheck-htmlreport index ed31abcf8..ce4a8fb28 100755 --- a/htmlreport/cppcheck-htmlreport +++ b/htmlreport/cppcheck-htmlreport @@ -122,6 +122,9 @@ HTML_HEAD = """ Cppcheck - HTML report - %s +
@@ -318,7 +321,7 @@ if __name__ == '__main__': 'w') as output_file: output_file.write(HTML_HEAD % (options.title, - #htmlFormatter.get_style_defs('.highlight'), + htmlFormatter.get_style_defs('.highlight'), options.title, filename)) @@ -343,7 +346,7 @@ if __name__ == '__main__': print('Creating index.html') with io.open(os.path.join(options.report_dir, 'index.html'), 'w') as output_file: - output_file.write(HTML_HEAD % (options.title, options.title, '')) + output_file.write(HTML_HEAD % (options.title, '', options.title, '')) output_file.write(HTML_HEAD_END) output_file.write(' \n') output_file.write( From fdc717c6ea2ebc7da1f9ecd8b5f59f374258b096 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Thu, 5 Jun 2014 22:39:44 +0200 Subject: [PATCH 2/2] htmlreport: remove black background, make the report a bit more space efficient. --- htmlreport/cppcheck-htmlreport | 38 ++++++++++++++-------------------- 1 file changed, 15 insertions(+), 23 deletions(-) diff --git a/htmlreport/cppcheck-htmlreport b/htmlreport/cppcheck-htmlreport index ce4a8fb28..a1b0e9644 100755 --- a/htmlreport/cppcheck-htmlreport +++ b/htmlreport/cppcheck-htmlreport @@ -21,10 +21,17 @@ with syntax highlighted source code. STYLE_FILE = """ body { - background-color: black; font: 13px Arial, Verdana, Sans-Serif; margin: 0; - padding: 0; + width: auto; +} + +h1 { + margin: 10px; +} + +#footer > p { + margin: 4px; } .error { @@ -42,18 +49,6 @@ body { padding: 1px; } -#page { - background-color: white; - border: 2px solid #aaa; - -webkit-box-sizing: content-box; - -moz-box-sizing: content-box; - box-sizing: content-box; - margin: 10px; - overflow: auto; - padding: 5px 10px; - width: auto; -} - #header { border-bottom: thin solid #aaa; } @@ -127,7 +122,6 @@ HTML_HEAD = """ -
@@ -145,15 +139,13 @@ HTML_FOOTER = """
- """