← Back to branch summary

~ubuntu-branches/ubuntu/natty/moin/natty-updates

« back to all changes in this revision

Viewing changes to contrib/AnyWikiDraw/guide/contents/style.css

  • Committer: Bazaar Package Importer
  • Author(s): Jonas Smedegaard
  • Date: 2008-06-22 21:17:13 UTC
  • mto: This revision was merged to the branch mainline in revision 18.
  • Revision ID: james.westby@ubuntu.com-20080622211713-inlv5k4eifxckelr
Import upstream version 1.7.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
contrib/AnyWikiDraw/guide/contents/style.css
1
 
@charset "UTF-8";
2
 
/* CSS Document */
3
 
 
4
 
* {
5
 
        font-family: Verdana, Helvetica, Arial, sans-serif;
6
 
        font-size: 12px;
7
 
        line-height: 125%; /* = 15 pixel for 12 px fonts */
8
 
        text-align: left;
9
 
        margin: 0px;
10
 
        padding: 0px;
11
 
}
12
 
body {
13
 
        margin: 10px;
14
 
        padding: 0px;
15
 
}
16
 
code {
17
 
        font-family: Courier, monospace;
18
 
}
19
 
h1, h2, h3, h4 {
20
 
        font-family: Tahoma, Helvetica, Arial, sans-serif;
21
 
}
22
 
h1 {
23
 
        font-size: 28px;
24
 
        margin: 0px 0 18px 0;
25
 
        font-weight: bold;
26
 
        line-height: 100%;
27
 
}
28
 
h2 {
29
 
        font-size: 20px;
30
 
        font-weight: bold;
31
 
        margin: 18px 0 18px 0;
32
 
        line-height: 120%;
33
 
}
34
 
h3 {
35
 
        font-size: 18px;
36
 
        font-weight: normal;
37
 
        line-height: 120%;
38
 
        margin: 18px 0 18px 0;
39
 
}
40
 
h4 {
41
 
        font-weight: bold;
42
 
}
43
 
p {
44
 
        margin-bottom: 9px;
45
 
}
46
 
p+h2, ul+h2 {
47
 
        margin-top: 36px;
48
 
}
49
 
ul {
50
 
        margin-bottom: 9px;
51
 
        margin-left: 16px;
52
 
}
53
 
ol {
54
 
        margin-bottom: 9px;
55
 
        margin-left: 16px;
56
 
}
57
 
 
58
 
 
59
 
table {
60
 
        margin-bottom: 18px;
61
 
}
62
 
th {
63
 
        padding: 2px;
64
 
        font-weight: bold;
65
 
}
66
 
td {
67
 
        padding: 2px;
68
 
}
69
 
b, strong, i {
70
 
        font-size:inherit;
71
 
}
72
 
 
73
 
#header {
74
 
}
75
 
#footer {
76
 
}
77
 
#nav1 {
78
 
        background-color: #F0F0F0;
79
 
}
80
 
#nav2 {
81
 
        background-color: #F0F0F0;
82
 
}
83
 
 
84
 
 
85
 
 
86
 
#notationBody, #noteBody, #cubeBody, #scriptBody {
87
 
        width: 600px;
88
 
}
89
 
#notationBody table {
90
 
 
91
 
}
92
 
#notationBody  td {
93
 
        background-color: #F0F0F0;
94
 
}
95
 
#notationBody th {
96
 
        background-color: #CCCCCC;
97
 
}
98
 
#notationBody td.rowspacer {
99
 
        background-color: #fff;
100
 
}
101
 
 
102
 
.listing {
103
 
        font-family: Courier, monospace;
104
 
        background-color: #f0f0f0;
105
 
        padding: 6px 8px 6px 8px;
106
 
        margin-bottom: 16px;
107
 
        border: solid 1px #CCCCCC;
108
 
}
109
 
 
110
 
.listingTopFragment {
111
 
        font-family: Courier, monospace;
112
 
        background-color: #f0f0f0;
113
 
        padding: 6px 8px 6px 8px;
114
 
        margin-bottom: 16px;
115
 
        border-top: solid 1px #CCCCCC;
116
 
        border-right: solid 1px #CCCCCC;
117
 
        border-left: solid 1px #CCCCCC;
118
 
        border-bottom: dotted 1px #CCCCCC;
119
 
}
120
 
.listingMiddleFragment {
121
 
        font-family: Courier, monospace;
122
 
        background-color: #f0f0f0;
123
 
        padding: 6px 8px 6px 8px;
124
 
        margin-bottom: 16px;
125
 
        border-top: dotted 1px #CCCCCC;
126
 
        border-right: solid 1px #CCCCCC;
127
 
        border-left: solid 1px #CCCCCC;
128
 
        border-bottom: dotted 1px #CCCCCC;
129
 
}
130
 
.listingBottomFragment {
131
 
        font-family: Courier, monospace;
132
 
        background-color: #f0f0f0;
133
 
        padding: 6px 8px 6px 8px;
134
 
        margin-bottom: 16px;
135
 
        border-top: dotted 1px #CCCCCC;
136
 
        border-bottom: solid 1px #CCCCCC;
137
 
        border-right: solid 1px #CCCCCC;
138
 
        border-left: solid 1px #CCCCCC;
139
 
}
140
 
 
141
 
 
142
 
.tip {
143
 
        color: #333;
144
 
        font-size: 10px;
145
 
}
146
 
.description {
147
 
        font-size: 10px;
148
 
}
149
 
.marginalia {
150
 
        font-size: 10px;
151
 
        text-align: right;
152
 
        padding-right: 10px;
153
 
}
154
 
.paddingdouble {
155
 
        padding-top: 16px;
156
 
}