From 610fe33e77bbe78873f5ae3e964e5f161622a39c Mon Sep 17 00:00:00 2001
From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sun, 8 Dec 2013 17:48:48 +0000
Subject: [PATCH] Documentation: Remove obsolete header entry to deal.css in
 mod_header.pl

git-svn-id: https://svn.dealii.org/trunk@31949 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/doxygen/scripts/mod_header.pl.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/deal.II/doc/doxygen/scripts/mod_header.pl.in b/deal.II/doc/doxygen/scripts/mod_header.pl.in
index 6007349ce1..2a2b91cf6e 100644
--- a/deal.II/doc/doxygen/scripts/mod_header.pl.in
+++ b/deal.II/doc/doxygen/scripts/mod_header.pl.in
@@ -6,7 +6,6 @@ $year += 1900;
 
 if (m'</head>')
 {
-    print '<link href="$relpath$deal.css" rel="stylesheet" type="text/css"></link>', "\n";
     print '<link rel="SHORTCUT ICON" href="http://www.dealii.org/deal.ico"></link>', "\n";
     print '<meta name="author" content="The deal.II Authors <authors@dealii.org>"></meta>', "\n";
     print '<meta name="copyright" content="Copyright (C) 1998 - ', $year, ' by the deal.II authors"></meta>', "\n";
-- 
2.39.5