body{margin:auto;font-family:"Computer Modern Sans";max-width:1000px;padding:10px}h1,h2{font-family:"Computer Modern Serif";text-align:center}#list{list-style-type:none;font-size:1.3em}#list li{display:inline-block;width:24%;line-height:2em}#list a{text-decoration:none}#controls{border:1px solid #999;margin:auto;padding:0 1em;background:#fff;width:100px}#size{width:3em}.example{margin-bottom:3em}#nav .download{text-align:center;font-size:1.4em}.download{font-family:'Computer Modern Sans';margin-left:1em;font-style:normal}pre{font-size:12px;width:500px;background:#f0f0f0;margin:0 auto;max-height:10em;overflow-y:auto}