Andrew's git / gitweb.git / diff
?
gitweb: add type="text/css" to stylesheet link
authorJakub Narebski <jnareb@gmail.com>
Tue, 20 Jun 2006 04:11:32 +0000 (04:11 +0000)
committerJunio C Hamano <junkio@cox.net>
Tue, 20 Jun 2006 04:16:09 +0000 (21:16 -0700)
Signed-off-by: Junio C Hamano <junkio@cox.net>
gitweb/gitweb.cgi patch | blob | history
diff --git a/gitweb/gitweb.cgi b/gitweb/gitweb.cgi
index fa90c51a4da437b8fa8bfd159ec7f0cad0596e37..d7da6368ce15c5461bd75498cae5db34fec5d0dc 100755 (executable)
--- a/gitweb/gitweb.cgi
+++ b/gitweb/gitweb.cgi
@@ -39,7 +39,7 @@ my $home_link =               $my_uri;
 my $home_text =                "indextext.html";
 
 # URI of default stylesheet
 my $home_text =                "indextext.html";
 
 # URI of default stylesheet
-my $stylesheet =       "gitweb.css";
+my $stylesheet =       "gitweb.css";
 
 # source of projects list
 #my $projects_list =   $projectroot;
 
 # source of projects list
 #my $projects_list =   $projectroot;
@@ -272,7 +272,7 @@ sub git_header_html {
 <head>
 <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
 <meta name="robots" content="index, nofollow"/>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
 <meta name="robots" content="index, nofollow"/>
-<link rel="stylesheet" href="$stylesheet"/>
+<link rel="stylesheet" type="text/css" href="$stylesheet"/>
 <title>$title</title>
 $rss_link
 </head>
 <title>$title</title>
 $rss_link
 </head>