/* this style sheet defines the basic style for all W3C pages */
/* general style 
2023-10-16  copied from DI/di.css
 */

/* Style for design issues documents */

body {
  font-family: opensans, sans-serif; /* serif */
  background-color: white;    /* was for decades #f8fff8 */
  line-height: 1.2em;
  color: black;
  margin: 2em 8% 2em 10%;   /* T R B L */
}

table {
    background: #f3f3ff; /* paler same axis */
}

th { background: white;
     text-align: left;}

h1, h2, h3 {
  font-family: sans-serif;
  margin: 1em 0 0.5em 0;  /* Was 1em 0 0.5em -5% */
  break-after: avoid;
  page-break-after: avoid;
-webkit-column-break-after: avoid;
}

h1 { font-size: 150% }
h2 { font-size: 120% }
h3 { font-size: 100%; font-style: italic;}
h4 {   page-break-after: avoid;
-webkit-column-break-after: avoid;
 }

p { margin: 0  0 1em 0; /* top right bottom left */
  line-height: 1.4em;
  font-family: sans-serif;
/*  text-indent: 2em ;    first-line indent - nope not this style. */

/*  line-height: 2.0;     only for double-space */

  /* font-size: 12pt; */  /* use user's default */
}

.original {
  color: gray;
  border-left: 0.1em solid gray;
  padding-left: 1em;
  margin-left: 0em;
}

a { font-weight: bold; color: #255997; text-decoration: none;}

td, th{ padding: 1em; }

li {padding: 0.6em; }

.tbd {color: #888; }

.ramble {font-size: 80%; font-weight: lighter; }

.cols {
  -webkit-column-width: 24em; /* Chrome, Safari, Opera */
  -moz-column-width: 24em; /* Firefox */
  column-width: 24em;

  -webkit-column-gap: 1em; /* Chrome, Safari, Opera */
  -moz-column-gap: 1em; /* Firefox */
  column-gap: 1em;
}

    pre { font-size: 80%; }

.note { color: #458 }

blockquote {
    font-style: italic;
    font-family: sanserif;
}

.abstract {
    font-style: italic;
    font-family: sans-serif;
    margin: 0.5em 3em 0.5em 3em;
}

.number {font-family: monospace;}

.detail {font-size: 80%; }

.axiom  { margin: 1em; border: thin; background-color: white }

/* ends */