Skip to content

Commit 3b5fe7a

Browse files
hishamhmhishamhm
committed
Move to new Kepler CSS
1 parent 1becd4d commit 3b5fe7a

File tree

1 file changed

+115
-118
lines changed

1 file changed

+115
-118
lines changed

‎doc/us/doc.css‎

Lines changed: 115 additions & 118 deletions
Original file line numberDiff line numberDiff line change
@@ -1,182 +1,179 @@
11
body {
2-
margin-left: 1em;
3-
margin-right: 1em;
4-
font-family: arial, helvetica, geneva, sans-serif;
5-
background-color:#ffffff; margin:0px;
2+
color: #47555c;
3+
font-size: 16px;
4+
font-family: "Open Sans", sans-serif;
5+
margin: 0;
6+
padding: 0;
7+
background: #eff4ff;
8+
}
9+
10+
a:link { color: #008fee; }
11+
a:visited { color: #008fee; }
12+
a:hover { color: #22a7ff; }
13+
14+
h1 { font-size:26px; }
15+
h2 { font-size:24px; }
16+
h3 { font-size:18px; }
17+
h4 { font-size:16px; }
18+
19+
hr {
20+
height: 1px;
21+
background: #c1cce4;
22+
border: 0px;
23+
margin: 20px 0;
624
}
725

826
code {
9-
font-family: "Andale Mono", monospace;
27+
font-family: "Open Sans Mono", "Andale Mono", monospace;
1028
}
1129

1230
tt {
13-
font-family: "Andale Mono", monospace;
31+
font-family: "Open Sans Mono", "Andale Mono", monospace;
1432
}
1533

16-
body, td, th { font-size: 11pt; }
17-
18-
h1, h2, h3, h4 { margin-left: 0em; }
19-
20-
textarea, pre, tt { font-size:10pt; }
21-
body, td, th { color:#000000; }
22-
small { font-size:0.85em; }
23-
h1 { font-size:1.5em; }
24-
h2 { font-size:1.25em; }
25-
h3 { font-size:1.15em; }
26-
h4 { font-size:1.06em; }
27-
28-
a:link { font-weight:bold; color: #004080; text-decoration: none; }
29-
a:visited { font-weight:bold; color: #006699; text-decoration: none; }
30-
a:link:hover { text-decoration:underline; }
31-
hr { color:#cccccc }
32-
img { border-width: 0px; }
33-
34-
h3 { padding-top: 1em; }
35-
36-
p { margin-left: 1em; }
37-
38-
p.name {
39-
font-family: "Andale Mono", monospace;
40-
padding-top: 1em;
41-
margin-left: 0em;
34+
body, td, th {
4235
}
4336

44-
blockquote { margin-left: 3em; }
45-
46-
.example {
47-
background-color: rgb(245, 245, 245);
48-
border-top-width: 1px;
49-
border-right-width: 1px;
50-
border-bottom-width: 1px;
51-
border-left-width: 1px;
52-
border-top-style: solid;
53-
border-right-style: solid;
54-
border-bottom-style: solid;
55-
border-left-style: solid;
56-
border-top-color: silver;
57-
border-right-color: silver;
58-
border-bottom-color: silver;
59-
border-left-color: silver;
60-
padding: 1em;
61-
margin-left: 1em;
62-
margin-right: 1em;
63-
font-family: "Andale Mono", monospace;
64-
font-size: smaller;
65-
}
66-
67-
hr {
68-
margin-left: 0em;
69-
background: #00007f;
70-
border: 0px;
71-
height: 1px;
37+
textarea, pre, tt {
38+
font-family: "Open Sans Mono", "Andale Mono", monospace;
7239
}
7340

74-
ul { list-style-type: disc; }
75-
76-
table.index { border: 1px #00007f; }
77-
table.index td { text-align: left; vertical-align: top; }
78-
table.index ul { padding-top: 0em; margin-top: 0em; }
79-
80-
table {
81-
border: 1px solid black;
82-
border-collapse: collapse;
83-
margin-left: auto;
84-
margin-right: auto;
41+
img {
42+
border-width: 0px;
8543
}
8644

87-
th {
88-
border: 1px solid black;
89-
padding: 0.5em;
45+
.example {
46+
background-color: #323744;
47+
color: white;
48+
font-size: 16px;
49+
padding: 16px 24px;
50+
border-radius: 2px;
9051
}
9152

92-
td {
93-
border: 1px solid black;
94-
padding: 0.5em;
53+
div.header, div.footer {
9554
}
96-
div.header, div.footer { margin-left: 0em; }
9755

9856
#container {
99-
margin-left: 1em;
100-
margin-right: 1em;
101-
background-color: #f0f0f0;
10257
}
10358

10459
#product {
105-
text-align: center;
106-
border-bottom: 1px solid #cccccc;
107-
background-color: #ffffff;
60+
background-color: white;
61+
padding: 10px;
62+
height: 130px;
63+
border-bottom: solid #d3dbec 1px;
10864
}
10965

11066
#product big {
111-
font-size: 2em;
67+
font-size: 42px;
68+
}
69+
#product strong {
70+
font-weight: normal;
11271
}
11372

11473
#product_logo {
74+
float: right;
11575
}
11676

11777
#product_name {
78+
padding-top: 15px;
79+
padding-left: 30px;
80+
font-size: 42px;
81+
font-weight: normal;
11882
}
11983

12084
#product_description {
85+
padding-left: 30px;
86+
color: #757779;
12187
}
12288

12389
#main {
124-
background-color: #f0f0f0;
125-
border-left: 2px solid #cccccc;
90+
background: #eff4ff;
91+
margin: 0;
12692
}
12793

12894
#navigation {
129-
float: left;
130-
width: 12em;
95+
width: 100%;
96+
background-color: rgb(44,62,103);
97+
padding: 10px;
13198
margin: 0;
132-
vertical-align: top;
133-
background-color: #f0f0f0;
134-
overflow:visible;
13599
}
136100

137101
#navigation h1 {
138-
background-color:#e7e7e7;
139-
font-size:1.1em;
140-
color:#000000;
141-
text-align:left;
142-
margin:0px;
143-
padding:0.2em;
144-
border-top:1px solid #dddddd;
145-
border-bottom:1px solid #dddddd;
102+
display: none;
103+
}
104+
105+
#navigation a:hover {
106+
text-decoration: underline;
107+
}
108+
109+
#navigation ul li a {
110+
color: rgb(136, 208, 255);
111+
font-weight: bold;
112+
text-decoration: none;
113+
}
114+
115+
#navigation ul li li a {
116+
color: rgb(136, 208, 255);
117+
font-weight: normal;
118+
text-decoration: none;
146119
}
147120

148121
#navigation ul {
149-
font-size:1em;
122+
display: inline;
123+
color: white;
124+
padding: 0px;
125+
padding-top: 10px;
126+
padding-bottom: 10px;
127+
}
128+
129+
#navigation li {
130+
display: inline;
150131
list-style-type: none;
151-
padding: 0;
152-
margin: 1px;
132+
padding-left: 5px;
133+
padding-right: 5px;
153134
}
154135

155136
#navigation li {
156-
text-indent: -1em;
157-
margin: 0em 0em 0em 0.5em;
158-
display: block;
159-
padding: 3px 0px 0px 12px;
137+
padding: 10px;
138+
padding: 10px;
139+
}
140+
141+
#navigation li li {
160142
}
161143

162-
#navigation li li a {
163-
padding: 0px 3px 0px -1em;
144+
#navigation li:hover a {
145+
color: rgb(166, 238, 255);
164146
}
165147

166148
#content {
167-
margin-left: 12em;
168-
padding: 1em;
169-
border-left: 2px solid #cccccc;
170-
border-right: 2px solid #cccccc;
171-
background-color: #ffffff;
149+
padding: 20px;
150+
width: 800px;
151+
margin-left: auto;
152+
margin-right: auto;
172153
}
173154

174155
#about {
175-
clear: both;
176-
margin: 0;
156+
display: none;
157+
}
158+
159+
dl.reference {
160+
background-color: white;
161+
padding: 20px;
162+
border: solid #d3dbec 1px;
163+
}
164+
165+
dl.reference dt {
177166
padding: 5px;
178-
border-top: 2px solid #cccccc;
179-
background-color: #ffffff;
167+
padding-top: 25px;
168+
color: #637bbc;
169+
}
170+
171+
dl.reference dl dt {
172+
padding-top: 5px;
173+
color: #637383;
174+
}
175+
176+
dl.reference dd {
180177
}
181178

182179
@media print {

0 commit comments

Comments
 (0)