diff pylons_app/public/css/pygments.css @ 505:5aba7adff196

little gui change for file source
author Marcin Kuzminski <marcin@python-works.com>
date Sat, 25 Sep 2010 23:36:10 +0200
parents 4cf4b82aa2a0
children
line wrap: on
line diff
--- a/pylons_app/public/css/pygments.css	Sat Sep 25 20:17:56 2010 +0200
+++ b/pylons_app/public/css/pygments.css	Sat Sep 25 23:36:10 2010 +0200
@@ -22,10 +22,13 @@
 	margin-left:25px;
 	font-weight: normal;
 }
+
 div.codeblock .code-body table{
     width: 0 !important;    
 }
-
+div.code-body {
+	background-color: #FFFFFF;
+}
 div.code-body pre .match{
 	background-color: #FAFFA6;
 }
@@ -36,13 +39,10 @@
 	display: block;
 	
 }
-
 div.annotatediv{
 	margin-left:2px;
 	margin-right:4px;
 }
-
-
 .code-highlight {
     padding: 0px;
     margin-top: 5px;
@@ -55,7 +55,6 @@
 }
 .linenos a { text-decoration: none; }
 
-
 .code { display: block; }
 .code-highlight .hll { background-color: #ffffcc }
 .code-highlight .c { color: #408080; font-style: italic } /* Comment */