/* ::::: http://pdos.csail.mit.edu/6.828/2008/style.css ::::: */

body { margin: 0pt; padding: 0pt; background-color: rgb(255, 255, 255); font-family: verdana,arial,helvetica,sans-serif; }
p { font-size: 13px; }
ol { font-size: 13px; }
ul { font-size: 13px; }
pre { font-family: "courier new",courier,mono; color: rgb(202, 10, 10); font-size: 13px; }

.mainarea{margin:auto; width:1000px;}