/* Styles for standard HTML tags: */

body {
    font-size:		13px; /* all other size are relative */
    margin-top:		20px;
    margin-left:	0px;
    margin-right:	0px;
    font-family:	verdana, helvetica, arial, sans-serif;
    line-height:	1.5em;
    background-color:	#ffffff;
}

h1 {
    font-size:		1.4em;
    color:		#5b7499;
}

h2 {
    font-size:		1em;
    margin-top:		2em;
    margin-bottom:	0.5em;
    color:		#5b7499;
}

h3 {
    color:		red;
}
    
a         { text-decoration: none; }
a:link    { color: #5b74cc; /* #5b7499 */ }
a:active  { color: #000000; }
a:visited { color: #5b74cc; }
a:hover   { color: #5b74cc; text-decoration: underline; }

em {
    font-style:		normal;
    font-weight:	bold;
}

hr {
    border:		0px;
    color:		#5b7499;
    background-color:	#5b7499; /*404040;*/
    height:		1px;
    margin-left:	-30px;
    width: 		30px;
    margin-top:		16px;
    margin-bottom:	16px;
}

ul {
    list-style-type:		square;
    list-style-position:	outside;
    spacing: 			10px;
}

li {
    margin-left:	0;
    margin-right:	0;
    margin-top:		1em;
    margin-bottom:	1em;
}

pre {
    border:		1px dotted #5b7499;
    background:		#f4f4ff;
    font-family:	lucida console, courier;
    margin-left:	4em;
    padding:		5px;
    padding-left:	1em;
}

code {
    font-family:	lucida console, courier;
}

blockquote {
    margin-left:	4em;
}

/* Styles for user tables: */

table.usr {
    margin-left:	4em;
    /* margin-right:	auto;
       width: 50%; */
    margin-top:		1em;
    margin-bottom:	1em;
    border-collapse:	collapse;
    border:		1px dotted #5b7499;
    background:		white;
    padding:		5px;
}

table.usr thead td {
    background:		#f4f4ff; /* #a7b4cc */
    color:		#5b7499;
    padding:		5px;
    text-align:		center;
    font-weight:	bold;
    vertical-align:	top;
}

table.usr td {
    border:		1px dotted #5b7499;
    padding:		5px;
    vertical-align:	top;
} 

table {
    border:		0px; 
    padding:		0px;
    border-spacing:	0px;
}

table td {
    border:		0px;
    padding:		0px; 
}

/* Styles for the page content: */

/* Lines in table cell: */

.topline {  border-top:         1px solid #5b7499; }
.leftline { border-left:        1px solid #5b7499; }

.shadowed {
    background:    #ffffff; /* url(shadow.jpg) top left repeat-x;  */
}

/* Control the main column where the page title and the main
   body of text appears: */
.maincolumn {
    width:      800px;
    padding-left:       30px;
    padding-right:      30px;
/*    background-color: #f8f8ff; */
}

/* Controls the width of the menu table. (This also affects the
   width of the rightmost [empty] column.) */
.sidecolumn {
    width:      250px;
}

/* Extra parameters for the table cell containing the menu 
   table: */
.menucolumn {
    padding-right:      10px;
    padding-left:       10px;
}

/* Extra parameters for the menu table: */
.menutable {
    /* [debug:] border: 1px dotted #aaaaff; */
    text-align: right;
    font-size:  90%;
    color:      #5b7499;
}

.menuhead {
    font-weight: bold; 
    padding-top: 2em
}

/* Fancy menu titles
.menuentry { overflow: hidden; }
.menuentrytip { display: none; position: absolute; background: #ffffaa; z-index: 2 } */

.menuentry {  }
.menuentrytip { }

/* Extra parameters for the gadget table: */
.gadgettable {
    border:     0px;
    padding:    0px;
    border-spacing:     0px;
    text-align: left;
    font-size:  90%;
    color:      #5b7499;
}

/* Controls the main row where the menu and the main body of
   text appears: */
.mainrow {
    padding-top:        20px;
    padding-bottom:     20px;
    vertical-align:     top;
}

.shadow {
    font-size: 70%;
    color:     #999999;
}

.attribute {
    font-size: 70%;
    color:     #999999;
}