/* new layout for info pages, until site is re-coded. 15-May-2020 */


HTML {
  scroll-behavior: smooth;
}

BODY, TD {
  font-family: Verdana,Arial,Helvetica,sans-serif;
}

/* font size reminder ============= 12pt / 16px / 1em / 100% / medium
   https://www.w3schools.com/cssref/css_default_values.asp
*/


DIV.newLayout {
  max-width: 800px;
  margin: 33px auto;
  padding: 0 20px;
  border-left: 2px solid silver;
  border-right: 2px solid silver;
}

DIV.newLayout H1 {			/* default for H2 is font-size: 1.5em;  */
  font-size: 1.5em;
  background-color: #CCFFCC;
  border-top: 2px solid lime;		/* equiv. to #00FF00;					*/
  padding: 3px 0px;
}

DIV.newLayout P {
  font-size: 1em;
  line-height: 1.4em;
  color: darkSlateGrey;
}

DIV.newLayout UL {
  font-size: 0.9em;
  line-height: 1.2em;
}

DIV.newLayout OL {
  font-size: 0.9em;
  line-height: 1.2em;
}

DIV.newLayout LI {
  padding-bottom: 0.5em;
}

DIV.newLayout OL UL {			/* for nested lists */
  font-size: 1em;			/* need to investigate: is this relative to container? seems so */
  line-height: 1.2em;
  padding-top: 9px;
}



DIV.newLayout P.blockquote {
  color: black;
  margin: 5px 30px 25px 30px;
  font-size: smaller;
  font-weight: bold;
}

DIV.formbox {
  margin-left: 10px;
  margin-right: 10px;
  padding: 0px 10px;
  font-size: smaller;
  border: 1px solid blue;
  background-color: lavender;
  margin: 5px 30px 25px 30px;
}

DIV.formbox P {
  color: black;
}

TABLE {
  border-collapse: collapse;
}

TABLE TR {
  background-color: lavender;
}

TABLE TD {
  font-size: smaller;
  border: 1px solid grey;
  padding: 3px;
}

TABLE TR:nth-child(even) {
  background-color: AliceBlue;
}

INPUT {
  cursor: pointer;
}

LABEL {
  cursor: pointer;
}

SPAN.check {
  color: green;
  font-weight: bold;
}

SPAN.cross {
  color: red;
  font-weight: bold;
}

.yellowMarker {				/* used at /__operations/misc_topics/membership_stats.html */
  color: black;
  background-color: yellow;
  padding-left: 0.5em;
  padding-right: 0.5em;
  font-weight: bold;
}

.highlighter {				/* this also exists as a <style> in some older html pages */
  background-color: yellow;
  color: black;				/* added 11-Jun-2025 */
  padding: 0 0.3em;			/* added 11-Jun-2025 */
  /* padding: 10px;				removed 29-May-2023 without checking any pages that use it */
}

DIV P.highlighter {			/* this also exists as a <style> in some older html pages */
  color: black;
}