From a905aa78240da26c2b03c1781a975399398ab2b5 Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@Serenity.local>
Date: Tue, 9 Dec 2008 23:06:27 +0100
Subject: provide documentation for tracing with LITMUS^RT

---
 inc/format-doc.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'inc')

diff --git a/inc/format-doc.css b/inc/format-doc.css
index 72c64e9..78637f9 100644
--- a/inc/format-doc.css
+++ b/inc/format-doc.css
@@ -33,7 +33,8 @@ img {
 
 p {
     font-size: 12pt;
-  }
+	text-align: justify;
+}
 
 .alertbox {
     border-color: red;
@@ -88,6 +89,7 @@ h1 {
 
 h2 {
 	font: normal normal 18pt Georgia, "Times New Roman", Times, serif;
+	padding-top: 0.75cm;
 }
 
 .relname {
@@ -110,7 +112,7 @@ pre {
   padding: 0.2cm;
   background-color: #000000;
   color: #cccccc;
-	border: 2px solid #eb4f0c;
+	border: 4px solid #b9b9b9;
 	font: 10pt "Courier New", Courier, mono;
 	overflow: auto;
 }
@@ -119,4 +121,5 @@ pre {
 	text-align: center;
 	font-style: italic;
 	margin: 0.75cm;
+
 }
-- 
cgit v1.2.2