From 860f0c392a7eb8b52cba3582ce8335ce7fa4b464 Mon Sep 17 00:00:00 2001
From: Paul van Tilburg <paul@luon.net>
Date: Thu, 12 Jan 2012 15:28:32 +0100
Subject: [PATCH] Make the text draggable font a bit smaller

---
 public/stylesheets/style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/public/stylesheets/style.css b/public/stylesheets/style.css
index f70f6e0..44257d8 100644
--- a/public/stylesheets/style.css
+++ b/public/stylesheets/style.css
@@ -2,6 +2,7 @@
 
 pre {
   margin: 0 0;
+  font-size: 12px;
 }
 
 #header {