From cbdfb24451c280dc65ec18b9c777a9202ac5859b Mon Sep 17 00:00:00 2001
From: Travis-CI <doc@example.com>
Date: Sat, 9 Jan 2016 16:04:34 +0000
Subject: [PATCH] [ci skip] documents update

---
 documents/html/ros.css | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/documents/html/ros.css b/documents/html/ros.css
index fc77931..641c157 100644
--- a/documents/html/ros.css
+++ b/documents/html/ros.css
@@ -17,7 +17,7 @@ code {
   color: #145214; }
 
 pre {
-  background-color: #bababa;
+  background-color: #b9b9b9;
   padding-left: 1em;
   padding-right: 1em;
   padding-top: 0.7em;
@@ -30,5 +30,3 @@ dl {
   padding-left: 2em; }
   dl dt {
     font-weight: bold; }
-
-/*# sourceMappingURL=ros.css.map */