" .signature a:hover { color: blue; border-bottom: 1px solid blue; }\n"++
" span.highlight { background: yellow; color: black; padding: 3px }\n"++
" div.pre {\n"++
" text-align: left;\n"++
" font-family: monospace;\n"++
" .signature a:hover { color: blue; border-bottom: 1px solid blue; }\n"++
" span.highlight { background: yellow; color: black; padding: 3px }\n"++
" div.pre {\n"++
" text-align: left;\n"++
" font-family: monospace;\n"++