diff options
Diffstat (limited to 'templates/html/header.html')
| -rw-r--r-- | templates/html/header.html | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/templates/html/header.html b/templates/html/header.html index 7c5d14c..fd44048 100644 --- a/templates/html/header.html +++ b/templates/html/header.html @@ -17,11 +17,6 @@ $mathjax $extrastylesheet </head> <body> -<!--BEGIN DISABLE_INDEX--> -<!--BEGIN GENERATE_TREEVIEW--> -<div id="side-nav" class="ui-resizable side-nav-resizable"> -<!--END GENERATE_TREEVIEW--> -<!--END DISABLE_INDEX--> <div id="top"><!-- do not remove this div, it is closed by doxygen! --> <!--BEGIN TITLEAREA--> @@ -46,13 +41,13 @@ $extrastylesheet </td> <!--END PROJECT_BRIEF--> <!--END !PROJECT_NAME--> + <!--BEGIN DISABLE_INDEX--> + <!--BEGIN SEARCHENGINE--> + <td>$searchbox</td> + <!--END SEARCHENGINE--> + <!--END DISABLE_INDEX--> </tr> </tbody> -<!--BEGIN DISABLE_INDEX--> - <!--BEGIN SEARCHENGINE--> - <td colspan="2" style="padding-top: 4px;">$searchbox</td> - <!--END SEARCHENGINE--> -<!--END DISABLE_INDEX--> </table> </div> <!--END TITLEAREA--> |