Skip to content

Commit

Permalink
Libdoc: Search tuning #1872
Browse files Browse the repository at this point in the history
  • Loading branch information
pekkaklarck committed Dec 16, 2014
1 parent e1d8c74 commit 08c40f2
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/robot/htmldata/libdoc/libdoc.css
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,9 @@ fieldset fieldset {
}

#search-title {
font-size: 1.1em;
font-weight: bold;
letter-spacing: 1px;
}
#search-string {
box-sizing: border-box;
Expand Down
1 change: 1 addition & 0 deletions src/robot/htmldata/libdoc/libdoc.html
Original file line number Diff line number Diff line change
Expand Up @@ -161,6 +161,7 @@ <h1>Opening library documentation failed</h1>
$('#include-name').prop('checked', true);
$('#include-args').prop('checked', true);
$('#include-doc').prop('checked', true);
openSearch();
doSearch();
}
</script>
Expand Down

0 comments on commit 08c40f2

Please sign in to comment.