/**
 * The two font styles of the page: Regular, the theme's font of every element, and Monospaced, at 90% of the size of
 * the surrounding text, for values read character by character, such as IDs, addresses, names of variables, code and
 * the output of tools.
 */
export const REGULAR = '"Roboto", "Helvetica", "Arial", sans-serif'
export const MONOSPACED = {
  fontFamily: '"Roboto Mono", ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace',
  fontSize: '90%',
}

/** Input attributes for values that must not be changed by the browser, shown in the Monospaced font. */
export const verbatim = { spellCheck: false, autoCorrect: 'off', autoCapitalize: 'none', autoComplete: 'off', style: MONOSPACED }