@charset "UTF-8";

body {
	font-family: Helvetica;
	font-size: auto;
	margin-top: 0px;
	margin-left: 13px;
	margin-right: 13px;
}

div.header {
	text-align: center;
	border-bottom: 1.3px black solid;
	background-color: rgb(180,190,175);
	margin-top: 0px;
	padding-top: 1px;
	padding-bottom: 5px;
	margin-left: -13px;
	margin-right: -13px;
}

div.header a.back {
	padding-top: 4px;
}

h1 {
	font-size: 140%;
	padding-bottom: 0px;
	margin-bottom: 0px;
}

a {
	color: rgb(51,102,187);
	cursor: auto;
	text-decoration: underline;
}
	
a.external {
	background-attachment: scroll;
	background-color: transparent;
	background-repeat: no-repeat;
	background-image: url(external.png);
	background-position-x: 100%;
	background-position-y: 50%;
	padding-right: 13px;
}

div.block {
	text-align: justify;
}

div.bigfig {
	text-align: center;
}

span.buttonseq img , img.rpnbutton {
	position: relative;
	bottom: -0.2em;
}

table.funcref {
	border: #AAA dotted 1px;

}

table.funcref tr {
	padding-bottom: 3em;
}

table.funcref tr td.name {
	text-align: right;
	background-color: #FEF;
	font-family: monospace;
	font-weight: bold;
	font-size: 100%;
	max-width:  5em;
	width: 5em;
}

table.funcref tr td.doc {
	background-color: #EEF;
	padding-left: 0.3em;
}