625
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
1 |
body
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
2 |
{
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
3 |
font-family: monospace;
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
4 |
}
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
5 |
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
6 |
pre { background: #cccccc; }
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
7 |
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
8 |
table
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
9 |
{
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
10 |
width: 100%;
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
11 |
border: 1px solid black;
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
12 |
}
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
13 |
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
14 |
th.numbers
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
15 |
{
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
16 |
width: 10%;
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
17 |
}
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
18 |
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
19 |
td
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
20 |
{
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
21 |
text-align: center;
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
22 |
}
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
23 |
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
24 |
td.name
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
25 |
{
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
26 |
text-align: left;
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
27 |
}
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
28 |
td.ok { background: #80ff80; }
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
29 |
td.error { background: #ff8080; }
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
30 |
td.warning { background: #ffff80; }
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
31 |
td.remark { background: #8080ff; }
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
32 |
td.missing { background: #c0c0c0; }
|
Richard Taylor <richard.i.taylor@nokia.com>
parents:
diff
changeset
|
33 |
|