body {
	background-image: url(java.png);
	background-attachment: fixed;
	background-position: 95% 95%;
	background-repeat: no-repeat;
}
.kw {
	font-weight: bold;
	color: #805;
}
.com {
	color: green;
}
.str {
	color: rgb(42,0,255);
}
pre {
	-moz-border-radius: .5em;
	line-height: normal;
}

.mal {
	border-color: red;
}
.formula {
	font-family: serif;
}

/* Otros artículos */

#otros {
	position: absolute;
	top: 110px;
	right: 5em;
	width: 18em;
	font-size: 80%;
	border: 1px solid black;
	padding: .5em;
	background-color: white;
	-moz-border-radius: .4em;
}
#otros h2 {
	margin: 0;
}
#otros li {
	list-style-type: none;
	margin: 0;
}
#otros ul {
	padding: 0;
	margin: 0;
}
#otros :link, #otros :visited {
	display: block;
}
#otros :link:hover, #otros :visited:hover {
	background-color: #eee;
}
#otros p {
	margin-top: .2em;
	margin-bottom: .2em;
}

#traducciones {
	position: absolute;
	top: 200px;
	left: .5em;
}

#fc {
	position: absolute;
	right: 1px;
	top: 400px;
	width: 170px;
}