diff options
author | Bjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu> | 2007-12-07 12:19:34 -0500 |
---|---|---|
committer | Bjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu> | 2007-12-07 12:19:34 -0500 |
commit | db4b13d3a32f020780cc76e1268bcdd11ad03431 (patch) | |
tree | e9c36e29b85a5aea83d01c3ce34a073f9c26c648 /inc | |
parent | 6cbb9e36ec3cab48764eeb58e6693a65b69fec07 (diff) | |
parent | 3e840c4088d9362524e15ed5f3775d91ad6c2024 (diff) |
Merge with git+ssh://cvs/cvs/proj/litmus/repo/homepage
Diffstat (limited to 'inc')
-rw-r--r-- | inc/format.css | 24 | ||||
-rw-r--r-- | inc/litmusrt.png | bin | 0 -> 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 | ||
130 | a { | 132 | a { |
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 | ||
136 | a:hover { | 140 | a: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 | |||