From 88ea383394b47278779031b47de23fbd5ba89dbe Mon Sep 17 00:00:00 2001
From: Armin Ronacher <armin.ronacher@active-4.com>
Date: Sun, 18 Apr 2010 13:17:21 +0200
Subject: [PATCH] Less flashy color for highlights.

---
 docs/_themes/flasky/static/flasky.css_t | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/_themes/flasky/static/flasky.css_t b/docs/_themes/flasky/static/flasky.css_t
index 5a365fd9..fbfb57e7 100644
--- a/docs/_themes/flasky/static/flasky.css_t
+++ b/docs/_themes/flasky/static/flasky.css_t
@@ -213,6 +213,10 @@ div.highlight{
     background-color: white;
 }
 
+dt:target, .highlight {
+    background: #FAF3E8;
+}
+
 div.note {
     background-color: #eee;
     border: 1px solid #ccc;