} else if (userAgent.indexOf("Firefox") >= 0) {
                        uaType = UserAgentType.FIREFOX;
                    } else if (userAgent.indexOf("Chrome") >= 0) {
                        uaType = UserAgentType.CHROME;
                    } else if (userAgent.indexOf("Safari") >= 0) {
                        uaType = UserAgentType.SAFARI;
                    } else if (userAgent.indexOf("Opera") >= 0) {

**Screenshots**
If applicable, add screenshots to help explain your problem.

**Environment (please complete the following information):**
 - OS: [e.g. Windows 10]
 - Browser [e.g. chrome, safari]
 - Version [e.g. 13.5.0]

**Additional context**

            }
            break;
        case CHROME:
            if (isLocalFile) {
                url = url.replaceFirst("file:/+", systemProperties.getProperty("file.protocol.winlocal.chrome", "file://"));
            } else {
                url = url.replaceFirst("file:/+", systemProperties.getProperty("file.protocol.chrome", "file://"));
            }
            break;
        case SAFARI:

Avoid using mixin so we can pass custom focus shadow properly\n      box-shadow: $input-focus-box-shadow;\n    }\n  }\n\n  &::-webkit-date-and-time-value {\n    // On Android Chrome, form-control's \"width: 100%\" makes the input width too small\n    // Tested under Android 11 / Chrome 89, Android 12 / Chrome 100, Android 13 / Chrome 109\n    //\n    // On iOS Safari, form-control's \"appearance: none\" + \"width: 100%\" makes the input width too small\n    // Tested under iOS 16.2 / Safari 16.2\n   ...

				"application/x-bplist",
				"application/x-bzip",
				"application/x-bzip2",
				"application/x-cdlink",
				"application/x-chat",
				"application/x-chess-pgn",
				"application/x-chrome-package",
				"application/x-compress",
				"application/x-corelpresentations",
				"application/x-cpio",
				"application/x-csh",
				"application/x-debian-package",
				"application/x-dex",

.5rem;\n  @include font-size(1.5rem);\n  line-height: inherit;\n  color: inherit; // 2\n  white-space: normal; // 1\n}\n\nprogress {\n  vertical-align: baseline; // Add the correct vertical alignment in Chrome, Firefox, and Opera.\n}\n\n// Correct the cursor style of increment and decrement buttons in Chrome.\n[type=\"number\"]::-webkit-inner-spin-button,\n[type=\"number\"]::-webkit-outer-spin-button {\n  height: auto;\n}\n\n[type=\"search\"] {\n  // This overrides the extra rounded corners on search inputs...

<a href="home.html">HOME</a>...

  </mime-type>

  <mime-type type="application/x-chess-pgn">
    <glob pattern="*.pgn"/>
  </mime-type>

  <mime-type type="application/x-chrome-package">
    <acronym>CRX</acronym>
    <_comment>Chrome Extension Package</_comment>
    <tika:link>https://developer.chrome.com/extensions/crx</tika:link>
    <magic priority="50">
      <match value="Cr24" type="string" offset="0"/>
    </magic>

a
ach
ag
agus
an
aon
ar
arna
as
b'
ba
beirt
bhúr
caoga
ceathair
ceathrar
chomh
chtó
chuig
chun
cois
céad
cúig
cúigear
d'
daichead
dar
de
deich
deichniúr
den
dhá
do
don
dtí
dá
dár
dó
faoi
faoin
faoina
faoinár
fara

$(document).ready(function(){
  openPage("home.html");
  setEventHandlers();
});

function setEventHandlers(){
  $('#info').click(function(){ openPage("info.html") } );
  $('#home').click(function(){ openPage("home.html") } );
}

function openPage(page){
  $('#content').load(page);
  location.hash = page;
}

function addFooter(msg){
  $('#footer').html($('#footer').html() + "<p>FOOTER: " + msg + "</p>");