CINXE.COM

<!DOCTYPE html> <html lang="en" style="background-color: "> <head> <script> const bgColor = (window.matchMedia('(prefers-color-scheme: dark)').matches) ? "#16191f" : "#f2f3f3"; document.querySelector(':root').style.backgroundColor = bgColor; </script> </head> <body> <script type="text/javascript"> (function() { var queryArgs = window.location.search; // the ?foo=1 part // this avoids the FF bug where location.hash is prematurely decoded var hashArgs = "#" + (window.location.href.split("#")[1] || ""); if (!queryArgs) { queryArgs = "?"; } hashArgs = "&state=hashArgs" + encodeURIComponent(hashArgs); // rebuild URL without hash args var redirect = "https://" + window.location.host + window.location.pathname + queryArgs + hashArgs; window.location.replace(redirect); })(); </script> <noscript> <div style="width: 22em; position: absolute; left: 50%; margin-left: -11em; color: red; background-color: white; border: 1px solid red; padding: 4px; font-family: sans-serif"> Your web browser must have JavaScript enabled in order for this application to display correctly. </div> </noscript> </body> </html>