:root {
  /**
   * --border-color specifies the color of borders that are added to the root
   * pane and to its layout panes to separate the panes.
   */
  --border-color: blue;
  /**
   * --nav-bg-color specifies the background color in the navigation pane.
   */
  --nav-bg-color: rgb(80%, 80%, 100%);
  /**
   * --content-bg-color specifies the basic background color. This color is also
   * used as background for selected menu items, which includes progression
   * menus.
   */
  --content-bg-color: rgb(92%, 92%, 100%);
  /**
   * --text-color specifies the text color. This color is also used for
   * progression widget foreground.
   */
  --text-color: black;
  /**
   * --table-even-bg-color specifies the background color for even number rows
   * in a table that uses a conforming table style sheet such as
   * /~gshute/common/table.css.
   */
  --table-even-bg-color: white;
  /**
   * --table-odd-bg-color specifies the background color for odd number
   * non-header rows in a table that uses a conforming table style sheet such as
   * /~gshute/common/table.css.
   */
  --table-odd-bg-color: #e0e0ff;
  /**
   * --gray specifies a gray that has weak contrast with --table-even-bg-color
   * to form cell borders in a table that uses a conforming table style sheet
   * such as /~gshute/common/table.css. It is also used for the disabled parts
   * of a progression widget.
   */
  --gray: lightgray;
}