[gen] Highlight keywords in query results.

This commit is contained in:
Gaetan Delannay 2014-12-30 11:23:03 +01:00
parent 92d1276ffb
commit cf2cbc52d6
4 changed files with 35 additions and 10 deletions

View file

@ -177,3 +177,4 @@ td.search { padding-top: 8px }
font-weight: bold}
.language {color: grey; font-size: 7pt; border: grey 1px solid; padding: 2px;
margin: 0 2px 0 4px; font-family: monospace }
.highlight { background-color: yellow }