update favicon; add 72px hires favicon

1 files changed, 1 insertions, 0 deletions

diff --git a/index.php b/index.php
index 4cbd756a3..bf8eafe76 100644
--- a/index.php
+++ b/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",