/*
 * Style sheet for the CSS2 specification
 * $Id: default.css,v 1.2 2018/05/04 20:10:15 plehegar Exp $
 */

  BODY {
    color: black;
    font-family: verdana, sans-serif;
    background: white;
    /* For the REC: background: #def url(recbg.jpg); */
  }

  H1 {
    clear: left;
    margin-top: 2em;
/*
    padding: 0.5em;
    font-size: x-large;
    color: white;
    background-color: black;
*/
    text-align: center;
  }

  PRE {
    font-family: monospace;
  }

  IMG {
    border: 0;
  }

  TH {
    align: left;
  }

  A.propdef-title {
    background-color: yellow
  }

  A.descdef-title {
    color: yellow;
    background-color: green
  }

div.example { color: maroon }
pre.example { color: maroon }
tt.example { color: maroon; margin-left: 1em }
pre.dtd { color: black; margin-left: 0 }
div.illegal-example { color: red }
div.illegal-example p { color: black }
div.deprecated-example { color: red }
div.deprecated-example p { color: black }
div.note { color: green; margin-left: 1em }
p.note { color: green; margin-left: 1em }


/** Outdated warning **********************************************************/

a#outdated-note {
	color: white;
}

a#outdated-note:hover {
	background: transparent;
}

.outdated-spec {
	background-color: rgba(0,0,0,0.5);
}

.outdated-warning {
	position: fixed;
	bottom: 50%;
	left: 0;
	right: 0;
	margin: 0 auto;
	width: 50%;
	background: maroon;
	color: white;
	border-radius: 1em;
	box-shadow: 0 0 1em red;
	padding: 2em;
	text-align: center;
	z-index: 2;
}

.edited-rec-warning {
	background: darkorange;
	box-shadow: 0 0 1em;
}

.outdated-warning button {
	position: absolute;
	top: 0;
	right:0;
	margin: 0;
	border: 0;
	padding: 0.25em 0.5em;
	background: transparent;
	color: white;
	font:1em sans-serif;
	text-align:center;
}

.outdated-warning span {
	display: block;
}

.outdated-collapsed {
	bottom: 0;
	border-radius: 0;
	width: 100%;
	padding: 0;
}