body{background:#fff;color:#000;font-family:Times New Roman,Times,serif}a{color:#00e}a:visited{color:#551a8b}pre{overflow-x:auto}