font-size: 125%;
}
-p {
+p, ol, ul {
margin-left: 4%;
margin-right: 4%;
}
font-family: mono;
margin-left: 10%;
margin-right: 10%;
- border: 1px solid #fcedc4;
- background-color: #dfdffb;
+ border: 1px solid #c5c5f6;
+ background-color: #dbdbf7;
padding: .5em;
}
margin-right: 15%;
}
-.floatleft {
+.left {
float: left;
padding-right: 0.5em;
}
-.floatright {
+.right {
float: right;
padding-left: 0.5em;
}