diff options
author | Bjoern Brandenburg <bbb@Serenity.local> | 2008-12-09 17:06:27 -0500 |
---|---|---|
committer | Bjoern Brandenburg <bbb@Serenity.local> | 2008-12-09 17:06:27 -0500 |
commit | a905aa78240da26c2b03c1781a975399398ab2b5 (patch) | |
tree | 2861814ebf017a5e3d68b43d64fcd3b1817a37e4 /inc | |
parent | 7347702d06c7241816bc4c6bf14f6ca05c1c570c (diff) |
provide documentation for tracing with LITMUS^RT
Diffstat (limited to 'inc')
-rw-r--r-- | inc/format-doc.css | 7 |
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 | ||
34 | p { | 34 | p { |
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 | ||
89 | h2 { | 90 | h2 { |
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 | } |