- <div id="edgebug" style="display: none; border: solid 1px #888; border-radius: 4px; margin: 5em; max-width: 400px; text-align: left; padding: 0 1em;">
- <div style="text-align: center; font-size: 3em; color: #933; text-shadow: 1px 1px 2px black;">
- ⚠
- </div>
- <h4 style="border-bottom: solid 1px #888; margin: 1em 0; text-align: center;">
- Edge Browser Bug
- </h4>
- <p>
- Please ensure your version of Windows is up to date.
- </p>
- <p>
- You are using the Microsoft Edge browser. In July, Microsoft fixed a
- bug in Edge. The bug causes Edge to rarely send different data to
- the server than the user selected.
- </p>
- <p>
- Only Windows 10 computers that have not received Microsoft's
- <b>July RS4 Windows 10 Update</b>
- <sup>
- [<a style="text-decoration: none;" href="https://support.microsoft.com/en-us/help/4338819/windows-10-update-kb4338819">*</a>]
- </sup> are affected.
- </p>
- </div>
-