11 years ago · 0d83f2ad6b
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -1068,7 +1068,7 @@ HTML_FOOTER            = style/footer.html
 
				 # obsolete.
			
 
				 # This tag requires that the tag GENERATE_HTML is set to YES.
			
 
				 
			
 
				-HTML_STYLESHEET        = style/bootstrap.min.css
			
 
				+HTML_STYLESHEET        = style/doxygen.css
			
 
				 
			
 
				 # The HTML_EXTRA_STYLESHEET tag can be used to specify an additional user-
			
 
				 # defined cascading style sheet that is included after the standard style sheets
			
@@ -1079,7 +1079,7 @@ HTML_STYLESHEET        = style/bootstrap.min.css
 
				 # see the documentation.
			
 
				 # This tag requires that the tag GENERATE_HTML is set to YES.
			
 
				 
			
 
				-HTML_EXTRA_STYLESHEET  = style/doxygen.css
			
 
				+HTML_EXTRA_STYLESHEET  =
			
 
				 
			
 
				 # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
			
 
				 # other source files which should be copied to the HTML output directory. Note
			
--- a/doc/style/bootstrap.min.css
+++ b/doc/style/bootstrap.min.css
--- a/doc/style/doxygen.css
+++ b/doc/style/doxygen.css
--- a/doc/style/header.html
+++ b/doc/style/header.html
@@ -13,7 +13,6 @@ $treeview
 
				 $search
			
 
				 $mathjax
			
 
				 <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
			
 
				-$extrastylesheet
			
 
				 </head>
			
 
				 <body>
			
 
				 <div id="top"><!-- do not remove this div, it is closed by doxygen! -->