Use LINK, not STYLE.

jessealama · Mar 31, 2010 · 32667a5 · 32667a5
1 parent e77e9aa
commit 32667a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mkmmlindex.pl b/mkmmlindex.pl
@@ -63,7 +63,7 @@ sub print_one_html
 <html xmlns="http://www.w3.org/1999/xhtml">
 <head>
 <title>Mizar Mathematical Library (current wiki state), Index of Identifiers</title>
-<style type="text/css" src="index.css"/>
+<link rel="stylesheet" href="index.css"/>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 </head>
 <body>