/* Position using either (left or right), and (top or bottom) */
#w3_ok, #ie_workaround {
	right:		5px;
	top:		5px;
}
/* Real browsers know fixed ... */
#w3_ok {
	position:	fixed;
}
/* ... others need a workaround */
#ie_workaround {
	position:	absolute;
}
/* Button sizes.  The button's sizes are known to be 88x31 pixels */
.button, .button a, .button a img, .button form {
	width:		88px;
	height:		31px;
	vertical-align:	top;	/* better alignment near text */
	padding:	0;
	margin:		0;
	border:		none;
}
#ie_workaround,#w3_ok {
	width:		176px;	/* 2x 88 */
	height:		62px;	/* 2x 31 */
	font-size:	0;
	padding:	0;
	margin:		0;
	border:		none;
}
.button {		position:	absolute; }
#button1,#button2 {	top:		0; }
#button1,#button3 {	left:		0; }
#button2,#button4 {	left:		88px; }
#button3,#button4 {	top:		31px; }

#ab_example a,#ab_example a img{
        width:		88px;
        height:		31px;
        border:		none;
	vertical-align:	top;
}

h1,h2,h3 {
	margin:	0%;
}
h3 {
	margin-left:    5%;
}
img.rrd {
	border: solid black 1px;
	float: left;
	margin: 0% 1em 0% 0;
}

table.tut {
	margin-left:	10%;
	margin-right:	160px;
	vertical-align:	top;
}
table.tut th {
	text-align:	left;
}
table.text td {
	text-align:	left;
}
table.num td {
	text-align:	right;
}

.example,.badexample,.goodexample {
	margin-left:	10%;
}
.badexample {
	border: solid red 3px;
}
.goodexample {
	border: solid green 3px;
}
p,div {
	margin: 1em 160px 0 5%;
}
p.first {
	margin: 0% 160px 0% 5%;
}
p.feedback {
	margin: 1em 160px 0 0%;
	padding: 0 0.5ex;
	border: solid black 1px;
}
address {
	margin: 0% 160px 0% 0%;
}
ul {
	margin: 0% 160px 0% 5%;
}
#Toc {
	margin: 0% 160px 0% 5%;
}
pre {
	margin-left: 10%;
}
.donation {
        display: inline;
        margin: 0;
        padding: 0;
}
.donate {
        margin: 0 160px 0 5%;
}