/*  http://cos340.cs.princeton.edu/wp-content/themes/twentyeleven/style.css  */


body { margin-left: 80px; margin-right: 80px; margin-top: 20px; background-color: #ffffff; font: 15px "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 300;	line-height: 1.625; }
pre  { font-family: "courier new", courier, mono; font-size: 14px; background-color:#dddddd; padding: 10px 15px 10px 15px; }
code { font-family: "courier new", courier, mono; font-size: 14px; }
tt   { font-family: "courier new", courier, mono; font-size: 14px; }

h2 {  line-height: 1.35; }


th { font-size: 14px; background-color: #555555; color:#ffffff;  font-weight: 300; line-height: 1.625;  }
td { font-size: 14px; margin-top: 20px;  font-weight: 300; line-height: 1.65; }

ol li        { list-style: decimal;     }
ol ol li     { list-style: lower-alpha; }
ol ol ol li  { list-style: lower-roman; }

ul li          { list-style: disc;    }
ul ul li       { list-style: circle;  }
ul ul ul li    { list-style: square;  }
ul ul ul ul li { list-style: disc;    }

a { color: #1982d1; text-decoration: none; }
a:focus,
a:active,
a:hover { text-decoration: underline; }