annotate sparql/sparql/test/dawg/.svn/text-base/tests.css.svn-base @ 0:7785ad38967f default tip

Uploaded
author atsuko
date Thu, 25 Aug 2011 22:14:55 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
7785ad38967f Uploaded
atsuko
parents:
diff changeset
1 table.results {
7785ad38967f Uploaded
atsuko
parents:
diff changeset
2 border: 1px solid black;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
3 border-collapse: collapse;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
4 border-padding: 1ex;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
5 margin-left: 2.5em;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
6 margin-right: 2.5em;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
7 }
7785ad38967f Uploaded
atsuko
parents:
diff changeset
8
7785ad38967f Uploaded
atsuko
parents:
diff changeset
9 table.results > tbody th {
7785ad38967f Uploaded
atsuko
parents:
diff changeset
10 border: 1px solid #8888aa;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
11 text-align: center;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
12 font-weight: bold;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
13 }
7785ad38967f Uploaded
atsuko
parents:
diff changeset
14
7785ad38967f Uploaded
atsuko
parents:
diff changeset
15 table.results > tbody td {
7785ad38967f Uploaded
atsuko
parents:
diff changeset
16 border: 1px solid #8888aa;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
17 background-color: #f7f8ff;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
18 padding: 0.5ex;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
19 font-family: courier,monospace;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
20 }
7785ad38967f Uploaded
atsuko
parents:
diff changeset
21
7785ad38967f Uploaded
atsuko
parents:
diff changeset
22 div.query {
7785ad38967f Uploaded
atsuko
parents:
diff changeset
23 white-space: pre;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
24 border: 1px solid #8888aa;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
25 font-family: courier,monospace;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
26 background-color: #f7f8ff;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
27 padding: 5px;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
28 font-size: 88%;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
29 margin-top: 1em;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
30 margin-left: 2.5em;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
31 margin-right: 2.5em;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
32 color: black;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
33 }
7785ad38967f Uploaded
atsuko
parents:
diff changeset
34
7785ad38967f Uploaded
atsuko
parents:
diff changeset
35 div.approval {
7785ad38967f Uploaded
atsuko
parents:
diff changeset
36 font-weight: bold;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
37 }