/* Add local styling here, instead of modifying style.css. */
body {
- margin-left: 10%;
- margin-right: 10%;
+ margin-left: 2%;
+ margin-right: 2%;
}
h1, .header, #footer {
- margin-left: -8%;
+ font-size: 150%;
+ clear: both;
}
-h1, .header {
+#content {
+ margin-left: 4%;
+ margin-right: 4%;
+}
+
+h1,h2,h3,h4,h5,h6, .header {
font-family: sans-serif;
- font-size: 150%;
clear: left;
+ color: #f29915;
+}
+
+h2,h3,h4,h5,h6 {
+ font-size: 125%;
+}
+
+p {
+ margin-left: 4%;
+ margin-right: 4%;
+}
+
+pre {
+ font-family: mono;
+ margin-left: 10%;
+ margin-right: 10%;
+ border: 1px solid #c5c5f6;
+ background-color: #dbdbf7;
+ padding: .5em;
+}
+
+a:link {
+ color: #4c4ce6;
+}
+
+a:visited {
+ color: #8f8fe6;
+}
+
+a:hover {
+ color: #f29915;
}
#logo {
}
#footer {
+ margin-left: 2%;
font-size: 80%;
}
margin-right: 15%;
}
-h2,h3,h4,h5,h6 {
- margin-left: -4%;
- font-size: 125%;
- clear: left;
-}
-
.floatleft {
float: left;
padding-right: 0.5em;