Release-1.8.1

1 files changed, 52 insertions, 23 deletions

diff --git a/src/doxygen.css b/src/doxygen.css
index 863c2c9..23c84ee 100644
--- a/src/doxygen.css
+++ b/src/doxygen.css
@@ -149,20 +149,55 @@ dl.el {
 	margin-left: -1cm;
 }
 
-.fragment {
+pre.fragment {
+        border: 1px solid #C4CFE5;
+        background-color: #FBFCFD;
+        padding: 4px 6px;
+        margin: 4px 8px 4px 2px;
+        overflow: auto;
+        word-wrap: break-word;
+        font-size:  9pt;
+        line-height: 125%;
+        font-family: monospace, fixed;
+        font-size: 105%;
+}
+
+div.fragment {
+        padding: 4px;
+        margin: 4px;
+	background-color: ##FC;
+	border: 1px solid ##CC;
+}
+
+div.line {
 	font-family: monospace, fixed;
-	font-size: 105%;
+        font-size: 13px;
+	line-height: 1.0;
+	text-wrap: unrestricted;
+	white-space: -moz-pre-wrap; /* Moz */
+	white-space: -pre-wrap;     /* Opera 4-6 */
+	white-space: -o-pre-wrap;   /* Opera 7 */
+	white-space: pre-wrap;      /* CSS3  */
+	word-wrap: break-word;      /* IE 5.5+ */
+	text-indent: -53px;
+	padding-left: 53px;
+	padding-bottom: 0px;
+	margin: 0px;
 }
 
-pre.fragment {
-	border: 1px solid ##CC;
-	background-color: ##FC;
-	padding: 4px 6px;
-	margin: 4px 8px 4px 2px;
-	overflow: auto;
-	word-wrap: break-word;
-	font-size:  9pt;
-	line-height: 125%;
+span.lineno {
+	padding-right: 4px;
+	text-align: right;
+	border-right: 2px solid #0F0;
+	background-color: #E8E8E8;
+        white-space: pre;
+}
+span.lineno a {
+	background-color: #D8D8D8;
+}
+
+span.lineno a:hover {
+	background-color: #C8C8C8;
 }
 
 div.ah {
@@ -581,8 +616,8 @@ span.mlabels {
 
 span.mlabel {
         background-color: ##88;
-        border-top:1px solid ##55;
-        border-left:1px solid ##55;
+        border-top:1px solid ##70;
+        border-left:1px solid ##70;
         border-right:1px solid ##CC;
         border-bottom:1px solid ##CC;
 	text-shadow: none;
@@ -622,6 +657,10 @@ div.directory {
         padding-right: 6px;
 }
 
+.directory td.entry a {
+        outline:none;
+}
+
 .directory td.desc {
         width: 100%;
         padding-left: 6px;
@@ -1089,15 +1128,5 @@ tr.heading h2 {
     overflow:inherit;
     display:inline;
   }
-  pre.fragment
-  {
-    overflow: visible;
-    text-wrap: unrestricted;
-    white-space: -moz-pre-wrap; /* Moz */
-    white-space: -pre-wrap; /* Opera 4-6 */
-    white-space: -o-pre-wrap; /* Opera 7 */
-    white-space: pre-wrap; /* CSS3  */
-    word-wrap: break-word; /* IE 5.5+ */
-  }
 }