From 29f8403ed9b73cc7f5893ae2173f5167611be952 Mon Sep 17 00:00:00 2001
From: yan <yan@pritzker.ws>
Date: Sun, 22 Jan 2012 20:40:44 -0800
Subject: [PATCH] Chrome config: make web inspector fonts bigger

---
 chrome/Custom.css | 20 ++++++++++++++++++++
 chrome/install.sh |  6 ++++++
 2 files changed, 26 insertions(+)
 create mode 100644 chrome/Custom.css
 create mode 100755 chrome/install.sh

diff --git a/chrome/Custom.css b/chrome/Custom.css
new file mode 100644
index 00000000..ce588e3a
--- /dev/null
+++ b/chrome/Custom.css
@@ -0,0 +1,20 @@
+body.platform-mac .monospace, body.platform-mac .source-code {
+  font-family: Monaco, monospace;
+}
+
+/* Keep .platform-mac to make the rule more specific than the general one above. */
+body.platform-mac.platform-mac-snowleopard .monospace,
+body.platform-mac.platform-mac-snowleopard .source-code {
+  font-size: 13px !important;
+  font-family: Menlo, monospace;
+}
+
+body.platform-windows .monospace, body.platform-windows .source-code {
+  font-size: 14px !important;
+  font-family: Consolas, Lucida Console, monospace;
+}
+
+body.platform-linux .monospace, body.platform-linux .source-code {
+  font-size: 13px !important;
+  font-family: dejavu sans mono, monospace;
+}
diff --git a/chrome/install.sh b/chrome/install.sh
new file mode 100755
index 00000000..df62d644
--- /dev/null
+++ b/chrome/install.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+# Fix chrome web inspector fonts to be readable.
+# http://blog.dotsmart.net/2011/09/30/change-font-size-in-chrome-devtools/
+
+# Use:
+cp ~/.dotfiles/chrome/Custom.css ~/Library/Application\ Support/Google/Chrome/Default/Custom.css