/* Add local styling here, instead of modifying style.css. */
body {
+ margin-left: 2%;
+ margin-right: 2%;
+}
+
+h1, .header, #footer {
+ font-size: 150%;
+ clear: both;
+}
+
+#content {
+ margin-left: 4%;
+ margin-right: 4%;
+}
+
+h1,h2,h3,h4,h5,h6, .header {
+ font-family: sans-serif;
+ clear: left;
+ color: #f29915;
+}
+
+h2,h3,h4,h5,h6 {
+ font-size: 125%;
+}
+
+p, ol, ul {
+ 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;
}
-h1, .header, #footer {
- margin-left: -8%;
+a:link {
+ color: #4c4ce6;
+}
+
+a:visited {
+ color: #8f8fe6;
+}
+
+a:hover {
+ color: #f29915;
}
#logo {
}
#footer {
+ margin-left: 2%;
font-size: 80%;
}
-h2,h3,h4,h5,h6 {
- margin-left: -4%;
+#legal {
+ text-align: center;
+ margin-top: 1em;
+ margin-left: 15%;
+ margin-right: 15%;
+}
+
+.floatleft {
+ float: left;
+ padding-right: 0.5em;
+}
+
+.floatright {
+ float: right;
+ padding-left: 0.5em;
}