Reviewed by Darin.
[WebKit-https.git] / WebKitSite / webkitdev.css
index 22fc0f5e27ed65259ad2b959fbc3cd245eb995e9..7c5c6f17db8a6431da3597cfc91eb74b0880272e 100644 (file)
@@ -1,85 +1,78 @@
 body {
-       font-family: Helvetica, Arial, san-serif;
-       margin: 0;
-        font-size: 90%;
-        background-color: white;
+    font-family: Helvetica, Arial, san-serif;
+    margin: 0;
+    font-size: 90%;
+    background-color: white;
+    text-align: justify;
 }
 
-a:link {
-        color: rgb(34,98,245);
-        text-decoration: none;
+a:link, a:visited {
+    color: rgb(34,98,245);
+    text-decoration: none;
 }
 
-a:visited {
-        color: rgb(34,98,245);
-       text-decoration: none;
+a:hover, a:active {
+    text-decoration: underline;
 }
 
-a:hover {
-        color: rgb(34,98,245); 
-        text-decoration: underline;
+li {
+    margin-bottom: 15px;
 }
-a:active {
-        color: rgb(34,98,245);
-       text-decoration: underline;
+
+h3 {
+    margin-top: 12px;
 }
 
-#sidebar {
-        top: 0;
-        right: 0;
-        height: 100%;
-       margin-left: 10px;
-        border-width: 0;
-        border-style: none;
-       border-left: 1px #C3C3C3 solid;
-        width: 181px;
-        float:right; /* hack for winie to not choke utterly on the site */
-       }
+h4 {
+    font-size: 105%;
+    margin: 20px 0 3px 0;
+}
 
+#sidebar {
+    top: 0;
+    right: 0;
+    height: 100%;
+    margin-left: 10px;
+    border-width: 0;
+    border-style: none;
+    border-left: 1px #C3C3C3 solid;
+    width: 181px;
+    float:right; /* hack for winie to not choke utterly on the site */
+}
 
 body > #sidebar {
-        float:none;
-        position: fixed; /* WinIE doesn't understand this so we can make things right in other browsers. */
+    float:none;
+    position: fixed; /* WinIE doesn't understand this so we can make things right in other browsers. */
 }
 
-#banner {
-        -apple-text-size-adjust: none;
-        background-color: rgb(81,118,236);
-        background-image: url(images/bluebanner.png);
-        background-repeat: repeat-x;
-        background-position: top left;
-        padding: 6px 0 0 8px;
-        margin: 0px;
-        height: 36px;
-        font-family: Helvetica, Arial, sans-serif;
-        font-size: 24px;
-        letter-spacing: 0.07em;
-        -apple-text-size-adjust: none;
-        cursor: default;
-        color: #FFFFFF;
-        margin-right: 182px;
+h1#banner {
+    background-color: rgb(81,118,236);
+    background-image: url(images/bluebanner.png);
+    background-repeat: repeat-x;
+    background-position: top left;
+    cursor: default;
+    color: #FFFFFF;
+    margin: 0 182px 0 0;
+    font-weight: normal;
+    padding: 6px 0 8px 8px;
+    font-size: 24px;
+    letter-spacing: 0.07em;
+    -apple-text-size-adjust: none;
 }
 
 #content {
-        margin-right: 201px;
-        margin-top: 1em;
-        margin-left: 1em;
+    margin-right: 201px;
+    margin-top: 1em;
+    margin-left: 1em;
+    line-height: 140%;
 }
 
-.articleheader {
-        font-weight: bold;
-        font-size: larger;
-}
-
-.articlesubheader {
-        font-weight: bold;
+.code, pre, tt, code {
+    font-family: Courier, Fixed;
+    font-size: 110%;
 }
 
 .code {
-        font-family: monospace;
-        margin-left: 2em;
-}
-
-h3 {
-       margin-top: 12px;
+    margin-left: 2em;
+    font-size: 90%;
 }
\ No newline at end of file