:root {
  /* more contrast than the default theme. */
  --MAIN-TEXT-color:#000; /* Color of text by default */
  --MAIN-TITLES-TEXT-color: #222; /* Color of titles h2-h3-h4-h5 */
  --MAIN-LINK-color:#f31c1c; /* Color of links */
  --MAIN-LINK-HOVER-color:#d01616; /* Color of hovered links */
  --MAIN-ANCHOR-color: #f31c1c; /* color of anchors on titles */

  --MENU-HOME-LINK-color: #fff; /* Color of the home button text */
  --MENU-HOME-LINK-HOVER-color: #e6e6e6; /* Color of the hovered home button text */

  --MENU-HEADER-BG-color:#dc1010; /* Background color of menu header */
  --MENU-HEADER-BORDER-color:#e23131; /*Color of menu header border */

  --MENU-SEARCH-BG-color:#b90000; /* Search field background color (by default borders + icons) */
  --MENU-SEARCH-BOX-color: #ef2020; /* Override search field border color */
  --MENU-SEARCH-BOX-ICONS-color: #fab0b0; /* Override search field icons color */

  --MENU-SECTIONS-ACTIVE-BG-color:#2b2020; /* Background color of the active section and its childs */
  --MENU-SECTIONS-BG-color:#312525; /* Background color of other sections */
  --MENU-SECTIONS-LINK-color: #fff; /* Color of links in menu */
  --MENU-SECTIONS-LINK-HOVER-color: #e6e6e6;  /* Color of links in menu, when hovered */
  --MENU-SECTION-ACTIVE-CATEGORY-color: #000; /* Color of active category text */
  --MENU-SECTION-ACTIVE-CATEGORY-BG-color: #fff; /* Color of background for the active category (only) */

  --MENU-VISITED-color: #ff3333; /* Color of 'page visited' icons in menu */
  --MENU-SECTION-HR-color: #2b2020; /* Color of <hr> separator in menu */
}

div.notices p {
  /* more contrast than the default theme. */
  color: #000;
}