Reduce the width of the navbar a little.

git-svn-id: https://svn.dealii.org/trunk@10412 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/development/index.html b/deal.II/doc/development/index.html
index 2af20660aef7d0e63c174d52198b3058521dc3b0..cf5b9d9d35d0af57cc2e1fa138f77b8c74d56a73 100644 (file)
--- a/deal.II/doc/development/index.html
+++ b/deal.II/doc/development/index.html
@@ -10,7 +10,7 @@
 
 <frameset rows="70,*" border=0>
   <frame name="title" src="title.html" frameborder="yes">
-  <frameset cols="150,*" border=0>
+  <frameset cols="120,*" border=0>
     <frame name="navbar" src="navbar.html" border=0 frameborder="no">
     <frame name="body" src="toc.html" border=0 frameborder="no">
   </frameset>

diff --git a/deal.II/doc/index.html b/deal.II/doc/index.html
index 9f2c5d95d7ce878d5de138220175210404bc1ffd..4fa34537c582073bc34f3e4d7018cf94cd30317c 100644 (file)
--- a/deal.II/doc/index.html
+++ b/deal.II/doc/index.html
@@ -22,7 +22,7 @@
 
 <frameset rows="70,*">
   <frame name="title" src="title.html" frameborder="1">
-  <frameset cols="150,*">
+  <frameset cols="120,*">
     <frame name="navbar" src="navbar.html" frameborder="0">
     <frame name="body" src="documentation.html" frameborder="0">
   </frameset>