body {
	background: #FFFFCC;
	font-family: Verdana, Arial, sans-serif;
	font-size: 0.9em;
	color: navy
}

div.main-menu {
	background: #FFCCCC;
	float: left;
	width: 15%;
	margin-right: 1%;
	padding: 1%;
	border: solid thin black
}

div.main-menu p {
	text-indent: 0
}

div.contents {
	float: right;
	width: 80%;
	margin-left: 1%
}

div.copy {
	width: 100%;
	margin-top: 1em;
	margin-bottom: 1em;
	padding-top: 1em;
	padding-bottom: 1em;
	clear: both;
	text-align: center;
	text-indent: 0
}

div.info {
	clear: both;
	font-size: 0.7em;
	text-align: right
}

h1, h2, h3, h4, h5, h6 {
	text-align: center
}

h1 {
	padding-bottom: 1%;
	border-bottom: solid thin blue
}

p {
	text-align: justify;
	text-indent: 5em
}

p.item {
	text-indent: 0
}

p.page-list {
	text-align: center;
	text-indent: 0
}

p.source {
	text-indent: 0
}

p.source span.heading {
	font-weight: bold;
	text-decoration: underline
}

dl.note {
	/* This code try to avoid the following possible Mozilla Firefox
	   version 1.5 (and probably also others versions) bug: the text
	   inside "dl" tags would be displayed in a same text area of the
	   previous text if this text is inside "div" tags such that this
	   "div" element uses the CSS property "float" with any value
	   different from "none". */
	clear: both;
	width: 100%;
	padding-top: 1em;
	padding-bottom: 1em;
	margin-top: 1em;
	margin-bottom: 1em
}

dl.note dt.heading {
	list-style: none;
	font-weight: bold;
	text-align: center;
	text-decoration: underline;
}

dl.only-item {
	border-top: thin solid fuchsia;
	border-bottom: thin solid fuchsia
}

dl.only-item dd.item {
	display: list-item;
	list-style: circle
}

dl.multiple-items {
	border-top: thin solid teal;
	border-bottom: thin solid teal
}

dl.multiple-items dd.item {
	display: list-item;
	list-style: square
}

a:link {
	color: blue;
	font-style: italic;
	text-decoration: none
}

a:visited {
	color: teal;
	text-decoration: none
}

a:hover {
	color: green;
	text-decoration: underline
}

a:active {
	color: red
}

/*

a.hidden {
	color: black
}

a.hidden:visited {
	color: black
}

a.hidden:hover {
	color: #0000CC
}

a.hidden:active {
	color: black
}

a.nav:link {
	color: #333333;
	padding: 2px
}

a.nav:visited {
	color: #cccccc;
	padding: 2px
}

a.nav:hover {
	color: white;
	background: #666666;
	padding: 2px
}

a.menu {
	font-family: Arial, sans-serif;
	font-weight: bold;
	text-decoration: underline
}

a.menu:hover {
	font-family: Arial, sans-serif;
	font-weight: bold;
	text-decoration: underline;
	letter-spacing: 1px
}

a.box {
	padding: 3px;
	background: white;
	text-decoration: none;
	border: medium solid #CCCCCC;
	color: black;
	font-family: Verdana, Arial, sans-serif
}

a.box:hover {
	color: black;
	padding: 3px;
	text-decoration: none;
	background: #666666;
	border: medium solid #3366FF;
	color: white;
	font-family: Verdana, Arial, sans-serif
}

*/

span.computer-term {
	font-family: "Courier New", Courier, monospace;
	font-size: 1.2em
}

sup.termination {
	font-size: smaller;
	text-decoration: underline;
	vertical-align: super
}

span.smaller {
	font-size: 0.7em
}

/* Artimanha para que toda o conteudo delimitado por tag's de elemento de class="empty" apareca somente para navegadores modo texto (p.e., Lynx), que justamente nao entendem os estilos de CSS */
.empty {
	display: none
}