summaryrefslogtreecommitdiffstats
path: root/inc
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@Serenity.local>2008-12-09 17:06:27 -0500
committerBjoern Brandenburg <bbb@Serenity.local>2008-12-09 17:06:27 -0500
commita905aa78240da26c2b03c1781a975399398ab2b5 (patch)
tree2861814ebf017a5e3d68b43d64fcd3b1817a37e4 /inc
parent7347702d06c7241816bc4c6bf14f6ca05c1c570c (diff)
provide documentation for tracing with LITMUS^RT
Diffstat (limited to 'inc')
-rw-r--r--inc/format-doc.css7
1 files changed, 5 insertions, 2 deletions
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 {
33 33
34p { 34p {
35 font-size: 12pt; 35 font-size: 12pt;
36 } 36 text-align: justify;
37}
37 38
38.alertbox { 39.alertbox {
39 border-color: red; 40 border-color: red;
@@ -88,6 +89,7 @@ h1 {
88 89
89h2 { 90h2 {
90 font: normal normal 18pt Georgia, "Times New Roman", Times, serif; 91 font: normal normal 18pt Georgia, "Times New Roman", Times, serif;
92 padding-top: 0.75cm;
91} 93}
92 94
93.relname { 95.relname {
@@ -110,7 +112,7 @@ pre {
110 padding: 0.2cm; 112 padding: 0.2cm;
111 background-color: #000000; 113 background-color: #000000;
112 color: #cccccc; 114 color: #cccccc;
113 border: 2px solid #eb4f0c; 115 border: 4px solid #b9b9b9;
114 font: 10pt "Courier New", Courier, mono; 116 font: 10pt "Courier New", Courier, mono;
115 overflow: auto; 117 overflow: auto;
116} 118}
@@ -119,4 +121,5 @@ pre {
119 text-align: center; 121 text-align: center;
120 font-style: italic; 122 font-style: italic;
121 margin: 0.75cm; 123 margin: 0.75cm;
124
122} 125}