From b6eaccfb70b9fc3aa42be479d2ccf42aeb248503 Mon Sep 17 00:00:00 2001
From: Matthias Kretschmann <desk@kremalicious.com>
Date: Thu, 31 May 2012 22:41:16 +0200
Subject: [PATCH] high dpi media query for option page icon

---
 css/badged-menu.css | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/css/badged-menu.css b/css/badged-menu.css
index 184535c..5866ba7 100644
--- a/css/badged-menu.css
+++ b/css/badged-menu.css
@@ -119,6 +119,19 @@
 #badgedoptions .icon32 {
 	background-image: url(../img/icon-badged-32.png);
 	background-repeat: no-repeat;
+} 
+
+@media
+only screen and (-webkit-min-device-pixel-ratio: 1.5),
+only screen and (   min--moz-device-pixel-ratio: 1.5),
+only screen and (     -o-min-device-pixel-ratio: 3/2),
+only screen and (        min-device-pixel-ratio: 1.5) {
+	#badgedoptions .icon32 {
+		background-image: url(../img/icon-badged-32@2x.png) !important;
+		-webkit-background-size: 32px 32px;
+		-moz-background-size: 32px 32px;
+		background-size: 32px 32px;
+	}   
 }