/*body { width: 750px; margin: 25px auto; font-family: verdana, arial, sans-serif; }*/

img { border: 0; }

code, pre { background: #f5f5f5; }

pre { font-size: 0.9em; padding: 5px; overflow: auto; width: 700px;}

ul#nav { padding: 0; margin: 0 0 0 0px; list-style: none; }