784 |
18 Sep 08 |
jari |
1 |
<!-- |
789 |
18 Sep 08 |
jari |
$Id$ |
766 |
16 Sep 08 |
jari |
3 |
|
789 |
18 Sep 08 |
jari |
Copyright (C) 2005 Johan Enell |
784 |
18 Sep 08 |
jari |
5 |
|
789 |
18 Sep 08 |
jari |
This file is part of the se.lu.onk.ReplicateError plug-in for |
784 |
18 Sep 08 |
jari |
BASE. Available at http://baseplugins.thep.lu.se/ and BASE web |
784 |
18 Sep 08 |
jari |
site is http://base.thep.lu.se |
784 |
18 Sep 08 |
jari |
9 |
|
789 |
18 Sep 08 |
jari |
This is free software; you can redistribute it and/or modify it |
789 |
18 Sep 08 |
jari |
under the terms of the GNU General Public License as published by |
789 |
18 Sep 08 |
jari |
the Free Software Foundation; either version 3 of the License, or |
789 |
18 Sep 08 |
jari |
(at your option) any later version. |
784 |
18 Sep 08 |
jari |
14 |
|
789 |
18 Sep 08 |
jari |
The software is distributed in the hope that it will be useful, |
789 |
18 Sep 08 |
jari |
but WITHOUT ANY WARRANTY; without even the implied warranty of |
789 |
18 Sep 08 |
jari |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
789 |
18 Sep 08 |
jari |
General Public License for more details. |
784 |
18 Sep 08 |
jari |
19 |
|
789 |
18 Sep 08 |
jari |
You should have received a copy of the GNU General Public License |
789 |
18 Sep 08 |
jari |
along with BASE. If not, see <http://www.gnu.org/licenses/>. |
784 |
18 Sep 08 |
jari |
22 |
--> |
784 |
18 Sep 08 |
jari |
23 |
|
28 |
08 Nov 05 |
enell |
24 |
a:active { text-decoration: none; color: #ff5050; } |
28 |
08 Nov 05 |
enell |
25 |
a:link { text-decoration: none; color: #1000d0; } |
28 |
08 Nov 05 |
enell |
26 |
a:visited { text-decoration: none; color: #1000d0; } |
28 |
08 Nov 05 |
enell |
27 |
|
28 |
08 Nov 05 |
enell |
28 |
a.ext:active { text-decoration: none; color: #ff8050; } |
28 |
08 Nov 05 |
enell |
29 |
a.ext:link { text-decoration: none; color: #f05000; } |
28 |
08 Nov 05 |
enell |
30 |
a.ext:visited { text-decoration: none; color: #800000; } |
28 |
08 Nov 05 |
enell |
31 |
|
30 |
08 Nov 05 |
enell |
32 |
body { font-family: Helvetica, sans-serif; background-color: #F8F8F0; |
789 |
18 Sep 08 |
jari |
33 |
font-size: 10pt; |
789 |
18 Sep 08 |
jari |
34 |
font-weight: normal } |
30 |
08 Nov 05 |
enell |
35 |
div { font-family: Helvetica, sans-serif; background-color: #F8F8F0; |
789 |
18 Sep 08 |
jari |
36 |
font-size: 10pt; |
789 |
18 Sep 08 |
jari |
37 |
font-weight: normal } |
30 |
08 Nov 05 |
enell |
38 |
tr.row1 { background-color: #E0E0E0 } |
30 |
08 Nov 05 |
enell |
39 |
tr.row2 { background-color: #CECECE } |
30 |
08 Nov 05 |
enell |
40 |
td { font-family: Helvetica, sans-serif; font-size: 10pt } |
789 |
18 Sep 08 |
jari |
41 |
th { font-family: Helvetica, sans-serif; text-align: left; |
789 |
18 Sep 08 |
jari |
42 |
background-color: #D3D3CC; font-size: 10pt; |
789 |
18 Sep 08 |
jari |
43 |
white-space: nowrap } |
30 |
08 Nov 05 |
enell |
44 |
input { font-family: Helvetica, sans-serif; font-size: 10pt } |
30 |
08 Nov 05 |
enell |
45 |
select { font-family: Helvetica; font-size: 10pt } |
30 |
08 Nov 05 |
enell |
46 |
select.mono { font-family: monospace; font-size: 10pt } |
28 |
08 Nov 05 |
enell |
47 |
|
30 |
08 Nov 05 |
enell |
48 |
.normal { font-size: 10pt; |
789 |
18 Sep 08 |
jari |
49 |
font-weight: normal } |
30 |
08 Nov 05 |
enell |
50 |
.large { font-size: 11pt } |
28 |
08 Nov 05 |
enell |
51 |
.help { font-style: italic } |
28 |
08 Nov 05 |
enell |
52 |
.special { font-weight: bold } |
30 |
08 Nov 05 |
enell |
53 |
.pagehead { text-align: left; background-color: #F8F8F0; |
789 |
18 Sep 08 |
jari |
54 |
font-size: 13pt } |
30 |
08 Nov 05 |
enell |
55 |
.subhead { text-align: left; font-size: 11pt; font-weight: bold } |
30 |
08 Nov 05 |
enell |
56 |
.subheadact { text-align: left; font-size: 11pt; |
789 |
18 Sep 08 |
jari |
57 |
font-weight: bold; background-color: #ffe0c0; } |
30 |
08 Nov 05 |
enell |
58 |
.red { color: Red; font-size: 11pt } |
28 |
08 Nov 05 |
enell |
59 |
.del { color: #e00050; font-weight: bold } |
28 |
08 Nov 05 |
enell |
60 |
a.popup { color: #007010 } |
30 |
08 Nov 05 |
enell |
61 |
.tiny { font-size: 8pt } |
766 |
16 Sep 08 |
jari |
62 |
.pink { background-color: #ffe0c0 } |