/*
 * Style sheet for the HTML 4.0 specification
 */
/* kolorki:
   #5cf,
   #9dff6f,
   #efe507, ...
*/
body {
	padding-top: 5px;
	padding-bottom: 5px;
	background: #ffffff;
	color: #0;
	width: 550px;
/*    font-family: helvetica, arial, sans-serif;
    font-size: large;
*/
}
a:link {
	background: #ffffff;
	color: #0000ff;
}
a:visited {
	background: #ffffff;
	color: #000099;
}
a:active {
	background: #ffffff;
	color: #f00;
}
h1,h2,h3,h4 {
	font-family: helvetica, arial, sans-serif;
	background: #ffffff;
	color: #0055cc;
	font-weight: bold;
}
h2 {  margin-left: 1em;
	text-align: left;
	font-size: big;
}
h3 {  margin-left: 1em;
    text-align: left;
    font-size: big;
   }
h4 {
    margin-left: 1em;
    text-align: left;
    font-size: big;
   }

strong {
    background: #fff;
    color: #003300;
}
p {
    margin-left: 1em;
    margin-right: 1em;
    background: #ffffff;
    color: #000000;
    text-align: justify;
}
p.i {
    text-indent: 5%;
    margin-left: 1em;
    margin-right: 1em;
}
p.note {    margin-left: 1em;
    margin-right: 1em;

	font-family: helvetica, arial, sans-serif;
	font-size: small;
	text-align: right;       
}
p.banner {
    background: #ddd;
    color: yellow;
    margin-left: 0em;
    width: 550;
    text-align: right;
}
ul.indented {
    margin-left: 1em;
}
ul.empty {
	list-style-type: none;
}
li.p {
   margin: .5em 0em .5em 0em;
}
table.indented {
	padding: 0em 0em 0em 1em;
}
div.banner {
	width: 66%;
	align: center;
	border: solid rgb(186,186,186);
}
div.norm {   
	width: 80%;
	border: solid rgb(186,186,186);
}
div.warn {
	width: 80%;
	align: center;
	border: solid red;
}
/*
 *   Nie moje:
 */
div.dtd-example {
    width: 100%;
    color: black;
}
tt.example {
    color: maroon;
    margin-left: 1em;
}
pre {
    color: maroon;
    margin-left: 1em;
}
div.dtd-fragment {
    width: 100%;
    border: none;
    background-color: #eee;
}
pre.dtd-fragment {
    margin-left: 0;
}
pre.dtd {
    color: black;
    margin-left: 0;
}
div.illegal-example {
    width: 100%;
    color: red;
    border: solid red;
}
div.illegal-example p {
    color: black;
}
