update favicon; add 72px hires favicon

index.php

@@ -72,6 +72,7 @@
 	</style>
 
 	<link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
+	<link rel="icon" type="image/png" sizes="72x72" href="images/favicon-72px.png" />
 
 	<?php
 	foreach (array("lib/prototype.js",

prefs.php

@@ -31,6 +31,7 @@
 	<?php print_user_stylesheet($link) ?>
 
 	<link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
+	<link rel="icon" type="image/png" sizes="72x72" href="images/favicon-72px.png" />
 
 	<?php
 	foreach (array("lib/prototype.js",