docgen: working search feature

This commit is contained in:
Araq 2016-09-09 20:42:02 +02:00
commit 3dfc866710
4 changed files with 26 additions and 19 deletions

View file

@ -1275,6 +1275,13 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator
span.pragmaend {
cursor: pointer;
}
div.search_results {
background-color: antiquewhite;
margin: 3em;
border-style: inset;
padding: 1em;
}
</style>
<script type="text/javascript" src="../dochack.js"></script>