comparison 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
comparison
equal deleted inserted replaced
504:d280aa1c85c6 505:5aba7adff196
20 } 20 }
21 div.codeblock .code-header .commit{ 21 div.codeblock .code-header .commit{
22 margin-left:25px; 22 margin-left:25px;
23 font-weight: normal; 23 font-weight: normal;
24 } 24 }
25
25 div.codeblock .code-body table{ 26 div.codeblock .code-body table{
26 width: 0 !important; 27 width: 0 !important;
27 } 28 }
28 29 div.code-body {
30 background-color: #FFFFFF;
31 }
29 div.code-body pre .match{ 32 div.code-body pre .match{
30 background-color: #FAFFA6; 33 background-color: #FAFFA6;
31 } 34 }
32 div.code-body pre .break{ 35 div.code-body pre .break{
33 background-color: #DDE7EF; 36 background-color: #DDE7EF;
34 width: 100%; 37 width: 100%;
35 color: #747474; 38 color: #747474;
36 display: block; 39 display: block;
37 40
38 } 41 }
39
40 div.annotatediv{ 42 div.annotatediv{
41 margin-left:2px; 43 margin-left:2px;
42 margin-right:4px; 44 margin-right:4px;
43 } 45 }
44
45
46 .code-highlight { 46 .code-highlight {
47 padding: 0px; 47 padding: 0px;
48 margin-top: 5px; 48 margin-top: 5px;
49 margin-bottom: 5px; 49 margin-bottom: 5px;
50 border-left: 2px solid #ccc; 50 border-left: 2px solid #ccc;
52 .code-highlight pre, .linenodiv pre { 52 .code-highlight pre, .linenodiv pre {
53 padding: 5px; 53 padding: 5px;
54 margin: 0; 54 margin: 0;
55 } 55 }
56 .linenos a { text-decoration: none; } 56 .linenos a { text-decoration: none; }
57
58 57
59 .code { display: block; } 58 .code { display: block; }
60 .code-highlight .hll { background-color: #ffffcc } 59 .code-highlight .hll { background-color: #ffffcc }
61 .code-highlight .c { color: #408080; font-style: italic } /* Comment */ 60 .code-highlight .c { color: #408080; font-style: italic } /* Comment */
62 .code-highlight .err { border: 1px solid #FF0000 } /* Error */ 61 .code-highlight .err { border: 1px solid #FF0000 } /* Error */