summaryrefslogtreecommitdiffstats
path: root/inc
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu>2007-12-07 12:19:34 -0500
committerBjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu>2007-12-07 12:19:34 -0500
commitdb4b13d3a32f020780cc76e1268bcdd11ad03431 (patch)
treee9c36e29b85a5aea83d01c3ce34a073f9c26c648 /inc
parent6cbb9e36ec3cab48764eeb58e6693a65b69fec07 (diff)
parent3e840c4088d9362524e15ed5f3775d91ad6c2024 (diff)
Merge with git+ssh://cvs/cvs/proj/litmus/repo/homepage
Diffstat (limited to 'inc')
-rw-r--r--inc/format.css24
-rw-r--r--inc/litmusrt.pngbin0 -> 5260 bytes
2 files changed, 18 insertions, 6 deletions
diff --git a/inc/format.css b/inc/format.css
index 2b9e1bc..abb5c20 100644
--- a/inc/format.css
+++ b/inc/format.css
@@ -117,24 +117,29 @@ table {
117 117
118.boxsize { 118.boxsize {
119 width: 8.5in; 119 width: 8.5in;
120 margin-top: 0cm;
120 margin-left: 1cm; 121 margin-left: 1cm;
121 } 122 }
122 123
123 124
124.authors { 125.authors {
125 margin-left: 1cm; 126 margin-top: 0.75cm;
126 font-style: italic; 127// margin-left: 1cm;
128 font-style: italic;
127 } 129 }
128 130
129 131
130a { 132a {
131 color: #032e03; 133// color: #47733c;
134 color: #6fb45e;
135 font-weight: bold;
132 text-decoration: underline; 136 text-decoration: underline;
133 } 137 }
134 138
135 139
136a:hover { 140a:hover {
137 color: #147614; 141 color: #d66836;
142 font-weight: bold;
138 } 143 }
139 144
140 145
@@ -194,6 +199,7 @@ h3 {
194 padding: 0.2cm; 199 padding: 0.2cm;
195 font-family: Courier New, Courier, monospace; 200 font-family: Courier New, Courier, monospace;
196 font-size: 10pt; 201 font-size: 10pt;
202 font-weight: bold;
197 background-color: #000000; 203 background-color: #000000;
198 color: #cccccc; 204 color: #cccccc;
199 border-color: #00C400; 205 border-color: #00C400;
@@ -203,4 +209,10 @@ h3 {
203 209
204.flushright { 210.flushright {
205 text-align: right; 211 text-align: right;
206} \ No newline at end of file 212}
213
214.logobox {
215 width: 8.5in;
216 margin-left: 1cm;
217 margin-bottom: 1.0cm;
218 }
diff --git a/inc/litmusrt.png b/inc/litmusrt.png
new file mode 100644
index 0000000..6177940
--- /dev/null
+++ b/inc/litmusrt.png
Binary files differ