@charset "UTF-8";

/*
 * Text Styling of the GUI
 */

html {
  cursor: default;
}

/* basic headings */
h1 {
  font-weight: 700;
  font-size: 18px;
  line-height: 21px;
  padding: 1em 1em 0.2em 0;
  margin-bottom: 0.8em;
}

h2 {
  font-weight: 700;
  font-size: 14px;
  line-height: 20px;
}

/* paragraphs and list items */
p,
a,
li {
  font-weight: 400;
  font-size: var(--size-4);
  line-height: 150%;
}

p {
  color: var(--color-grey-700);
}

pre,
pre * {
  font-family: monospace;
}

b {
  font-weight: bold;
}