update favicon; add 72px hires favicon

diff --git a/images/favicon-72px.png b/images/favicon-72px.png
new file mode 100644 (file)
index 0000000..421e109
Binary files /dev/null and b/images/favicon-72px.png differ

diff --git a/images/favicon.png b/images/favicon.png
index 99d65e429fce7bff4af170d1769abd75731edaad..b2df2ebb5c68fde6103d9757b22edaf40c23d711 100644 (file)
Binary files a/images/favicon.png and b/images/favicon.png differ

diff --git a/index.php b/index.php
index 4cbd756a39af09de856c00cd7c934485ef47c2f7..bf8eafe768c628f5d5cd2fd31c17e3ffb7e01003 100644 (file)
--- 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",

diff --git a/prefs.php b/prefs.php
index cda53751b891d6c93f391af93c7379b4fb7f17d0..0715f26e48aa73a82411649932df4054b3ac8ed9 100644 (file)
--- a/prefs.php
+++ b/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",