Fixes by Mark Rowe and Joost de Valk. Reviewed by Darin. Landed by ap.
[WebKit-https.git] / WebKitSite / webkitdev.css
1 body {
2         font-family: Helvetica, Arial, san-serif;
3         margin: 0;
4         font-size: 90%;
5         background-color: white;
6         text-align: justify;
7 }
8
9 a:link {
10         color: rgb(34,98,245);
11         text-decoration: none;
12 }
13
14 a:visited {
15         color: rgb(34,98,245);
16         text-decoration: none;
17 }
18
19 a:hover {
20         color: rgb(34,98,245); 
21         text-decoration: underline;
22 }
23 a:active {
24         color: rgb(34,98,245);
25         text-decoration: underline;
26 }
27
28 #sidebar {
29         top: 0;
30         right: 0;
31         height: 100%;
32         margin-left: 10px;
33         border-width: 0;
34         border-style: none;
35         border-left: 1px #C3C3C3 solid;
36         width: 181px;
37         float:right; /* hack for winie to not choke utterly on the site */
38         }
39
40
41 body > #sidebar {
42         float:none;
43         position: fixed; /* WinIE doesn't understand this so we can make things right in other browsers. */
44 }
45
46 #banner {
47         -apple-text-size-adjust: none;
48         background-color: rgb(81,118,236);
49         background-image: url(images/bluebanner.png);
50         background-repeat: repeat-x;
51         background-position: top left;
52         padding: 6px 0 0 8px;
53         margin: 0px;
54         height: 36px;
55         font-family: Helvetica, Arial, sans-serif;
56         font-size: 24px;
57         letter-spacing: 0.07em;
58         -apple-text-size-adjust: none;
59         cursor: default;
60         color: #FFFFFF;
61         margin-right: 182px;
62 }
63
64 #content {
65         margin-right: 201px;
66         margin-top: 1em;
67         margin-left: 1em;
68         line-height: 140%;
69 }
70
71 .articleheader {
72         font-weight: bold;
73         font-size: larger;
74 }
75
76 .articlesubheader {
77         font-weight: bold;
78 }
79
80 .code {
81         font-family: monospace;
82         margin-left: 2em;
83 }
84
85 h3 {
86         margin-top: 12px;
87 }
88
89 li {
90         margin-bottom: 15px;
91 }
92 h4 {
93         font-size: 105%;
94         margin-bottom: 3px;
95 }