[website] 01/08: Update terminal style to be easier on the eyes.

[Bas Couwenberg]

This is an automated email from the git hooks/post-receive script.

sebastic-guest pushed a commit to branch master
in repository website.

commit 0257f27c5d2ab233b8927fcca6d8acf8c2d51a72
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Tue Feb 18 08:41:13 2014 +0100

    Update terminal style to be easier on the eyes.
---
 policy.css | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/policy.css b/policy.css
index 71d74bc..26e062b 100644
--- a/policy.css
+++ b/policy.css
@@ -1,9 +1,11 @@
 
 .programlisting {
-	border-width:		3px;
-	border-style:		ridge;
-	border-color:		#888888;
-	background-color:	#000000;
+	border-radius:		3px 3px 3px 3px;
+	border-width:		2px;
+	border-style:		solid;
+	border-color:		#DDDDDD;
+	background-color:	#111111;
+	background-clip:	padding-box;
 	color:			#FFFFFF;
 	padding:		10px;
 }

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-grass/website.git