htmlreport: give warnig boxes ("HTML_ERROR") smaller frame and padding so they don't overlap each other if there is another one in next line.

borderwith: 2px -> 1px
padding:    3px -> 1px
This commit is contained in:
Matthias Krüger 2013-10-12 21:11:22 +02:00
parent a55056c770
commit 4f1fdce09e
1 changed files with 1 additions and 1 deletions

View File

@ -114,7 +114,7 @@ HTML_FOOTER = """
</html>
"""
HTML_ERROR = "<span style=\"border-width: 2px;border-color: black;border-style: solid;background: #ffaaaa;padding: 3px;\">&lt;--- %s</span>\n"
HTML_ERROR = "<span style=\"border-width: 1px;border-color: black;border-style: solid;background: #ffaaaa;padding: 1px;font-size: 11px;\">&lt;--- %s</span>\n"
class AnnotateCodeFormatter(HtmlFormatter):