From c896b0c34ca738363a0b184714a7b4f1ec627236 Mon Sep 17 00:00:00 2001
From: John Scipione <jscipione@gmail.com>
Date: Wed, 30 Jan 2013 18:54:16 -0500
Subject: [PATCH] Color parameters grenadier (orange) in API docs.

---
 docs/user/book.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/user/book.css b/docs/user/book.css
index d7a937acdc..c224b54fd6 100644
--- a/docs/user/book.css
+++ b/docs/user/book.css
@@ -259,6 +259,10 @@ div.contents em, div.contents code {
 	font-style: normal;
 }
 
+div.contents em {
+	color: #dc3c01; /* grenadier */
+}
+
 div.contents code {
 	color: blue;
 }