Tighten message bubble height.

Make bubble number decoration look more like circles than ovals.

llvm-svn: 65921
This commit is contained in:
Ted Kremenek 2009-03-03 03:00:21 +00:00
parent 92b551bc2b
commit 6c6a098a83
1 changed files with 3 additions and 2 deletions

View File

@ -311,7 +311,7 @@ void html::AddHeaderFooterInternalBuiltinCSS(Rewriter& R, FileID FID,
" .msg { -webkit-border-radius:5px }\n"
" .msg { font-family:Helvetica, sans-serif; font-size: smaller }\n"
" .msg { float:left }\n"
" .msg { padding:0.5em 1ex 0.5em 1ex }\n"
" .msg { padding:0.25em 1ex 0.25em 1ex }\n"
" .msg { margin-top:10px; margin-bottom:10px }\n"
" .msg { font-weight:bold }\n"
" .msg { max-width:60em; word-wrap: break-word; white-space: pre-wrap }\n"
@ -320,7 +320,8 @@ void html::AddHeaderFooterInternalBuiltinCSS(Rewriter& R, FileID FID,
" .msgControl { background-color:#bbbbbb; color:#000000 }\n"
" .mrange { background-color:#dfddf3 }\n"
" .mrange { border-bottom:1px solid #6F9DBE }\n"
" .PathIndex { font-weight: bold; padding:5px;margin-right:5px;top:5px}\n"
" .PathIndex { font-weight: bold; padding:0px 5px 0px 5px; "
"margin-right:5px; }\n"
" .PathIndex { -webkit-border-radius:8px }\n"
" .PathIndexEvent { background-color:#bfba87 }\n"
" .PathIndexControl { background-color:#8c8c8c }\n"