code: function gli_color_to_css(color) {
      var res = (color & 0xFFFFFF).toString(16);
      while (res.length < 6) {
          res = '0' + res;
      }
      return '#' + res.toUpperCase();
  }
docs: /* Convert a Glk numeric color value to a CSS-compatible string.