body {
  margin: 2em 1em 2em 4em;
  padding: 0em 2em;
  font-family: sans-serif;
  color: black;
  background: white;
  line-height: 1.2;
}

header img {
  float: left;
  margin-right: 60px;
  margin-bottom: 60px;
}

main {
  max-width: 60em;
  margin: 0 auto;
}

a:link, a:active {
    color: #00e;
    background: transparent;
}

/** Navigation bar on the right side */
#navbar {
  padding: 0 1px 2em 1em;
  margin: 0;
  font: bold small sans-serif;
  width: 13em;
  float: right;
}

#navbar li {
  list-style: none;
  margin: 0;
  border-top: 1px solid gray;
  text-align: left;
}
#navbar li a {
    display: block;
    padding: 0.25em 0.5em 0.25em 0.75em;
    border-left: 1em solid #AAB;
    text-decoration: none;
}

/** Headings */

h1, h2, h3, h4, h5 {
  text-align: left;
  border-bottom: 1px solid #ccc;
  font-weight: normal;
  color: #005a9c;
  margin-left: 0;
}
h1 {
  margin-top: 1em;
  margin-bottom: 2em;
  border-bottom: none;
  padding-bottom: 0.15em;
}

/* Numbered headings */

body { counter-reset: h2; }

h2.nocount:before { content: "" }

h2:before {
  content: counter(h2) ". ";
  display: inline;
}

h2.nocount {
  counter-increment: none;
  counter-reset: none
}

h2 {
  counter-increment: h2;
  counter-reset: h3;
}

h3:before {
  content: counter(h2) "." counter(h3) " ";
  display: inline;
}

h3 { counter-increment: h3; }

h4 { margin-left: 0 }

/*From http://www.w3.org/2005/09/table.css*/
table
{
	border-collapse: collapse;
	margin: 1em auto;
}

table caption
{
	margin-left: auto;
	margin-right: auto;
}

table, tr, th, td { border: 1px solid black; }
th, td { padding: 5px 1em; }

th
{
	background: #005a9c;
	color: #fff;
  text-align: left;
}

th a:link {
  color: #fff;
}

th a:visited {
  color: #aaa;
}

tfoot
{
  font-size: 0.9em;
  font-style: italic;
  background-color: #ddd;
}

/** Styling for out-of-scope items */

ul.out-of-scope > li {
  font-weight: bold;
}

ul.out-of-scope > li > ul > li{
  font-weight: normal;
}

/** Styling for specification lists */

dt.spec.new {
  font-style: italic;
}
dt.spec.current {
  font-style: normal;
}


/** Color coding for charter status table */

td.meeting { background: #FFE }
td.WD1 { background: #FED }
td.LC { background: #FCB }
td.CR { background: #FA9 }
td.PR { background: #F87 }
td.REC { background: #F60 }
td.note  { background: #F60 }

/** Styling for requirement levels */

strong.must { color: #F30; }

strong.should { color: #C63; padding: 0; border: none }
.should {
  padding: .25em;
  border: thin #C63 solid;
}

li.may, strong.may {
  color: #99C;
}

div.may
{
  padding: 3px;
  background-color: #e2edfe;
  border: 1px #005A9C solid;
}

.example
{
  background-color: #CC9;
}

div.example, ul.example, p.example, ol.example
{
  width: 80%;
  border: thin black solid;
}

@media print {
  .noprint { display: none }
}

/** Styling for TODOs and warnings */

.todo, a.todo {
  background-color:#FFC;
  color: #900;
}

.warning {
  background: #ffbeb9;
  border: thin solid #cf222e;
  border-radius: 4px;
  padding: 0.5em;
  width: max-content;
}



.issue {
  background: cornsilk;
  font-style: italic;
}

/** Footer styling */

footer {
  font-size: small;
}