gitweb: Syntax highlighting support

[Gitweb] / gitweb.css

diff --git a/gitweb.css b/gitweb.css
index c20e6916b2045945f649afa4fbc8e8b7383d1aa71cbd44add5035f56f425b6c6..edc71c668da6cf59d4d470021b44d23747f820e5076dd1ff8d25b0ef1c380a96 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -32,6 +32,10 @@ img.avatar {
        vertical-align: middle;
 }
 
        vertical-align: middle;
 }
 

+a.list img.avatar {
+       border-style: none;
+}
+

 div.page_header {
        height: 25px;
        padding: 8px;
 div.page_header {
        height: 25px;
        padding: 8px;


@@ -257,6 +261,11 @@ tr.no-previous td.linenr {
        font-weight: bold;
 }
 
        font-weight: bold;
 }
 

+/* for 'blame_incremental', during processing */
+tr.color1 { background-color: #f6fff6; }
+tr.color2 { background-color: #f6f6ff; }
+tr.color3 { background-color: #fff6f6; }
+

 td {
        padding: 2px 5px;
        font-size: 100%;
 td {
        padding: 2px 5px;
        font-size: 100%;


@@ -359,6 +368,12 @@ div#progress_info {
        text-align: right;
 }
 
        text-align: right;
 }
 

+/* format of (optional) objects size in 'tree' view */
+td.size {
+       font-family: monospace;
+       text-align: right;
+}
+

 /* styling of diffs (patchsets): commitdiff and blobdiff views */
 div.diff.header,
 div.diff.extended_header {
 /* styling of diffs (patchsets): commitdiff and blobdiff views */
 div.diff.header,
 div.diff.extended_header {


@@ -557,3 +572,21 @@ span.match {
 div.binary {
        font-style: italic;
 }
 div.binary {
        font-style: italic;
 }

+
+/* Style definition generated by highlight 2.4.5, http://www.andre-simon.de/ */
+
+/* Highlighting theme definition: */
+
+.num    { color:#2928ff; }
+.esc    { color:#ff00ff; }
+.str    { color:#ff0000; }
+.dstr   { color:#818100; }
+.slc    { color:#838183; font-style:italic; }
+.com    { color:#838183; font-style:italic; }
+.dir    { color:#008200; }
+.sym    { color:#000000; }
+.line   { color:#555555; }
+.kwa    { color:#000000; font-weight:bold; }
+.kwb    { color:#830000; }
+.kwc    { color:#000000; font-weight:bold; }
+.kwd    { color:#010181; }