From b6d1afaad076d09368ead56cdff3daa2f4911a7b Mon Sep 17 00:00:00 2001
From: Alexander Kojevnikov <alexander@kojevnikov.com>
Date: Fri, 21 Sep 2012 19:49:56 -0700
Subject: [PATCH] Remove an obsolete file

---
 web/style.css | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 web/style.css

diff --git a/web/style.css b/web/style.css
deleted file mode 100644
index 61025e8..0000000
--- a/web/style.css
+++ /dev/null
@@ -1,4 +0,0 @@
-body {font-family: sans-serif; font-size: 11pt; width: 760px; margin: 20px auto; padding: 0;}
-h1, h2 {font-weight: bold;}
-h1 {font-size: 16pt;}
-h2 {font-size: 12pt;}