/* 
  File name:  style
  Created on: 26 de agosto de 2002 at 18:31
  Author:     rmserra  

  Description:
    Style used in documentation.
*/

root { 
    display: block;
}

body {
    FONT-FAMILY: Tahoma,Verdana,arial;
    FONT-SIZE: 12px
}

table {
    FONT-FAMILY: Tahoma,Verdana,arial;
    FONT-SIZE: 12px
}

p.title1 {
	FONT-FAMILY: Tahoma,Verdana,arial;
    FONT-SIZE: 17px; font-weight:bold
}

p.title2 {
	FONT-FAMILY: Tahoma,Verdana,arial;
    FONT-SIZE: 15px; font-weight:bold; text-decoration:underline
}

p.title3 {
    font-weight:bold
}

table.menu {
border:1px solid #0066FF; padding-left: 4; padding-right: 4; 
               padding-top: 1; padding-bottom: 1}

table.menu a {
    font-weight:bold;
color: #000000; text-decoration:none}

table.menu a:hover {
color: blue }