From 5f0ecb740a71814c4b17bc2252a451548f329342 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Thu, 14 Feb 2013 00:23:23 -0800
Subject: Start pygmentizing css.html; add new theme for pygments

---
 docs/_includes/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/_includes/header.html')

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index ea590ca70..f7c623e3d 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -16,7 +16,7 @@
 
 <!-- Documentation extras -->
 <link href="/assets/css/docs.css" rel="stylesheet">
-<link href="/assets/css/pygments_monokai.css" rel="stylesheet">
+<link href="/assets/css/pygments-manni.css" rel="stylesheet">
 <link href="/assets/js/google-code-prettify/prettify.css" rel="stylesheet">
 
 <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
-- 
cgit v1.2.3