diff options
author | 2016-03-16 01:21:17 -0400 | |
---|---|---|
committer | 2016-03-16 01:21:29 -0400 | |
commit | 7c5bbfdf66e0fc87fa8f88b8891d901b96923d20 (patch) | |
tree | e8331d23271a2d48e5144e19065fa44ed9b67925 /doxygen | |
parent | d76a9644cf97730775906a4bc836d6f588989430 (diff) |
Put back Doxygen search box (nw)
Diffstat (limited to 'doxygen')
-rw-r--r-- | doxygen/doxy-boot.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doxygen/doxy-boot.js b/doxygen/doxy-boot.js index 4b48553acc4..17fd6e11583 100644 --- a/doxygen/doxy-boot.js +++ b/doxygen/doxy-boot.js @@ -25,6 +25,7 @@ $( document ).ready(function() { $("div#navrow5 > ul.tablist").addClass("pagination pagination-sm pagination-centered"); $("ul.tablist").css("margin-top", "0.5em"); $("ul.tablist").css("margin-bottom", "0.5em"); + $("ul.tablist").css("padding-right", "50px"); $("li.current").addClass("active"); $("iframe").attr("scrolling", "yes"); @@ -58,7 +59,7 @@ $( document ).ready(function() { $("div.ttname a").css("color", 'white'); $("div.ttdef,div.ttdoc,div.ttdeci").addClass("panel-body"); - $('#MSearchBox').parent().remove(); + //$('#MSearchBox').parent().remove(); //$('div.fragment.well div.line:first').css('margin-top', '15px'); //$('div.fragment.well div.line:last').css('margin-bottom', '15px'); |