add old-style CSS

add ?style=old-style.css to the URL to get styling which looks like the original OEIS site.