<styletype="textcss"><!--body {
	margin-left: 30%;
}
A:link {
	color: blue;
	text-decoration: none;
}
A:active {
	color: blue;
	text-decoration: none;
}
A:visited {
	color: blue;
	text-decoration: none;
}
#sf {
	font-family: helvetica;
	font-style: normal;
	font-variant: normal;
}

BODY {
	font-size: 10pt; 
	font-family: Helvetica,"Sans Serif",Verdana,Helvetica; 
	margin-top: 5pt; 
	margin-left: 50pt;
	margin-right: 50pt;
	background-position: top left;
	background-attachment: fixed;
	background-repeat: no-repeat;
	background-image: url(http://fferrer.dsic.upv.es/p);
}
TD {
	font-size: 10pt;
	font-family: "Sans Serif",Verdana,Helvetica;
	margin-left: 4%;
	margin-right: 4%;
}
H1 {
	font-family:"Sans Serif",Verdana, helvetica;
	font-style: normal;
	font-variant: normal;
	font-weight: bold;
	font-size: 24pt;
                border-bottom: 1px solid gray;
                border-top: 1px solid gray;
                background-color: whitesmoke;
	line-height: 24pt;
}
H2 {
	font-family: "Sans Serif",Verdana,helvetica;
	font-style: normal;
	font-variant: normal;
	font-weight: bold;
	font-size: 18pt;
	line-height: 18pt;
	margin-top: 38;
	margin-left: 1%;
                border-bottom: 1px solid gray;
                border-top: 1px solid gray;
                background-color: whitesmoke;
}
H3 {
	font-family: "Sans Serif",Verdana,helvetica;
	font-style: normal;
	font-variant: normal;
	font-weight: bold;
	font-size: 14pt;
	line-height: 14pt;
	margin-left: 2%;
                border-bottom: 1px solid gray;
                border-top: 1px solid gray;
                background-color: whitesmoke;
}
H4 {
	font-family: "Sans Serif",Verdana,helvetica;
	font-style: normal;
	font-variant: normal;
	font-weight: bold;
	font-size: 12pt;
	line-height: 12pt;
	margin-left: 3%;
}
p {
	font-family: Helvetica,"Sans Serif",Verdana,Arial,Helvetica;
	margin-top: 10pt;
	margin-bottom: 10pt;
	margin-left: 4%;
	margin-right: 4%;
	font-size: 11pt;
}

pre.screen {
        color: #000; /* ?¿? needed?*/
        background-color: #c6e1ff;
        border: 1px solid;
        font-family:  monospace;
        font-size: 1em;
        padding: 15px;
        width: 600px;
        margin: 30px 0 30px 40px; }