From a64803673ea732ccacfba237f1457407525d4765 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 29 Apr 2013 16:03:10 +0000
Subject: [PATCH] Avoid font confusion.

git-svn-id: https://svn.dealii.org/trunk@29399 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/navbar.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deal.II/doc/navbar.html b/deal.II/doc/navbar.html
index 64b987fe61..1c60baca9c 100644
--- a/deal.II/doc/navbar.html
+++ b/deal.II/doc/navbar.html
@@ -13,7 +13,7 @@
 
     <p>
       <a href="index.html" target="_top">Home</a><br />
-      <a href="http://www.dealii.org"target="_top"><tt>dealii.org</tt></a><br />
+      <a href="http://www.dealii.org"target="_top">dealii.org</a><br />
     </p>
 
     <hr>
-- 
2.39.5