<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">html body {max-width: 800px;}
html body div#nav ul.topnav {width: 802px;}
html body div#nav ul.topnav li.staycurrent {width: 375px;}</pre></body></html>