public void encodeMarkers(ResponseWriter writer, Theme theme, ClientDescriptor client)
      throws IOException {
    writer.startElement("script", null);
    writer.writeAttribute("type", "text/javascript", null);
    String markers = " " + theme.fileName(); // + " ui-mobile";
    if (client.isIE10Browser()) {
      markers += " ie10";
    } else if (client.isIE10orHigherBrowser()) {
      markers += " ie11";
    }
    if (client.isAndroidOS()) {
      markers += " android";
    }
    if (client.isAndroidBrowserOrWebView()) {
      markers += " android-browser";
    }
    if (client.isDesktopBrowser()) {
      markers += " desktop";
    }
    if (client.isSimulator()) {
      markers += " simulator";
    }
    writer.writeText(
        "document.documentElement.className = document.documentElement.className+'"
            + markers
            + "';",
        null);

    writer.endElement("script");
  }