* Get the value for the key 'query.highlight.no.match.size'. <br>
     * The value is, e.g. 0 <br>
     * comment: Size for no-match query highlight.
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */
    String getQueryHighlightNoMatchSize();

    /**
     * Get the value for the key 'query.highlight.no.match.size' as {@link Integer}. <br>

z-index: 2;\n\n    &:focus {\n      z-index: 5;\n    }\n  }\n}\n\n\n// Textual addons\n//\n// Serves as a catch-all element for any text or radio/checkbox input you wish\n// to prepend or append to an input.\n\n.input-group-text {\n  display: flex;\n  align-items: center;\n  padding: $input-group-addon-padding-y $input-group-addon-padding-x;\n  @include font-size($input-font-size); // Match inputs\n  font-weight: $input-group-addon-font-weight;\n  line-height: $input-line-height;\n  color: $inpu...