/* style sheet for the validator's results page          */
/* $Id: results.css,v 1.14 2007-03-29 12:16:55 ot Exp $ */

.input {
  color: black;
  background-color: #eee;
  font-family: "Bitstream Vera Sans Mono", monospace;
  font-size: small;
}

/* Various Bits of the Table Header */
/*
*/
fieldset#revalidate_opts {
        width: 100%;
        margin; 0; padding:0;
        border: 1px dotted #ccc;
        background-color: #fcfcfc;
        padding-bottom: 1em;
}

fieldset#revalidate_opts p.moreinfo {
  padding: 10px;
  margin-top: .3em;
  float: left;
  width: 20em;
  font-size: x-small;
  margin-bottom: 0;
}

div#revalidate_button {
        float: right; width: 6em;
        padding-right: 3.5em !important;
}

table.header {
  clear: both;
  width: 100%;
}

fieldset#revalidate_opts table.header {
        margin-top: .5em;
}

fieldset#revalidate_opts table.header, fieldset#revalidate_opts table.header td, fieldset#revalidate_opts table.header tr {
        border: 0;
}


/* Error Messages Display */
/*
*/

/* "Fatal" warnings... */

ol#warnings, ol#error_loop {
    margin-left: 0 !important;
    margin-right: 0 !important;
}

ol li.msg_info, ol li.msg_warn, ol li.msg_err {
  border: 1px solid #eee;
  border-top: 0;
  list-style-position: inside;
  padding: 1em;
  padding-bottom: 2em;
  clear: both;
}

ol li.msg_info:hover, ol li.msg_warn:hover, ol li.msg_err:hover {
  background-color: #fcfcfc;
  
}

ol#warnings, ol#error_loop {
        padding:0;
        border-top: 1px solid #eee;
}

ol#warnings li ul li, ol#error_loop ul li, ol#error_loop p, ol#warnings p {
        line-height: 135%;
        margin-bottom: .65em;
        /*margin-right: 2em;*/
} 

li span.err_type img {
    width: 1.2em;
    height: 1.2em;
    padding-bottom: .1em;
}

/*
li.msg_info span.err_type{
  background-color: #888;
  padding: .1em .5em;
  color: white;
  font-size: smaller;
}

li.msg_warn span.err_type{
  padding: .1em .5em;
  background-color: #FA9084;
  color: #333;
  font-size: smaller;
}

li.msg_err span.err_type{
  padding: .1em .5em;
  background-color: #D23D24;
  color:white;
  font-size: smaller;
}
*/
.msg {
  font-weight: bold;
  line-height: 130%;
}

li.msg_info span.msg { /* these messages are not errors */
  font-weight: normal !important;  
}

.ve {
  font-size: smaller;
  padding: 0;
  width: 100%;
}

.ve p {
  line-height: 110%;
  margin: 1ex 5em 1ex 1em;
  text-align: justify;
}

/* no Helpwanted, hence giving it a bit of space instead */
li.msg_info {
  padding-bottom: 2em;
}

p.helpwanted {
  padding: 0;
  margin: 0;
  margin-top: 0em;
  color:        #888;
  text-align:       left;
  float: right;
  width: 20px;
  font-weight: bold;
  position: relative;
  left: 0; 
  top: -3em;
}

li.grouped p.helpwanted {
  top: -1em;       
}

p.helpwanted a {
  color: #88f;
  text-decoration: none;
}

code.input {
  margin-bottom: 2ex;
}

code.input strong {
  color: red;
  padding-left: .5ex;
  padding-right: .5ex;
  font-weight: bolder;
}


/* Source Code Display */
/*
*/
#source ol {

  font-family: "Bitstream Vera Sans Mono", monospace;
  font-size: smaller;
  background: #eee;
  border: 1px solid black;
  margin: 1em;
}
#source ol li {
  margin: 1em;
}

#source ol li a {
  color: inherit;
  background-color: transparent;
  text-decoration: none;
}

pre.source {
  font-family: "Bitstream Vera Sans Mono", monospace;      
  border: 1px solid black;
  background: #eee;
  margin: 1em;
  padding: 1em;
  overflow: scroll;
  font-size: smaller;
}

/* Style for non-parser warnings. */
/*
*/

ul#warnings {
  padding: 0;
}



th {
  padding-right: .5em;
  text-align: right;
  vertical-align: middle;
  white-space: nowrap;
}

td {
  text-align: left;
  padding-left: .5em;
}

.info {
  color: black;
  background: white;
  border-color: gray;
}

.warning {
  color: black;
  background: silver;
  border-color: gray;
}

.error {
  color: black;
  background: yellow;
  border-color: black;
}

.fatal h2 {
  color: black;
  background: red;
  border: solid black 1px;
}

div#result {
  clear: left;
  padding-top: 1em;
}

form { margin:0 !important; padding: 0 !important; }

h2.valid, h2.invalid, h2.tentative_valid {
    text-align: center;
    margin: 0;
  font-family: "Bitstream Vera Sans", sans-serif;
  font-size-adjust:	.53;
  font-size:		1.3em;
  font-weight:		500;
  font-style:		normal;
  text-decoration:	none;
  word-spacing:		normal;
  letter-spacing:	normal;
  text-transform:	none;
  border-color:		black;
  padding-top:		.2em;
  padding-bottom: 	.2em;
}
/* the default color of the headings is green now, 
but we want to use it only for "congratulations"
and stick to a neutral color for other headings */

h3, h4 {
    color: #777 !important; 
}

h3#congrats {
    color: #690 !important;
}

.valid {
  background-color:	#55B05A;
  color:		white;
}

.tentative_valid {
/* we could use a different color than for "valid" */
/*  background-color:	#888; */
/* ... or simply use the same */
  background:           #55B05A;
  color:		white;
}

.invalid {
  background-color:	#D23D24 !important;
  color:		white !important;
}

td.valid {
  background-color:		white;
  color:           #55B05A;
}

td.invalid, h3.invalid 
{
  color:	#D23D24 !important;
  background-color:	white !important;
}

img.inline-badge {
  float: left;
  padding: 10px;
  margin-left: 3em;
}

pre.badgeSnippet {
  margin-left: 108px !important; /* give room to the image */
  padding-left: 3em;
  font-size: x-small;
  color: #777;
  margin-bottom: 2em;
}

p.backtop {
        color: #bbc;
        font-size: x-small;
        padding-right: 0 !important;
        margin: 1em !important;
        text-transform: uppercase;
        font-weight: bold;
        padding-top: .3em;
        text-align: right;
        border-top: 1px solid #eef;
        clear: both;
}

p.backtop a:link, p.backtop a:hover, p.backtop a:visited {
        color: #bbc;
        text-deciration: none;
}

/* document outline */
pre.outline {
    line-height: 160%;
    padding-left: 1.5em;
}