/** common styles 4 dl/doc **/

body        {/*font-size: x-small;*/ font-size: 13px; font-family: Tahoma,Arial,Helvetica;  background-color: white; color: black; }
body.r      {background-color: #990000; color: #eeeeee;}
body.e      {background-color: #dddddd; color: #000000;}
body.xxx    {background-color: black; color: white;}

pre     {font-family: Tahoma, monospace;}
td,th   {font-size: 11px;}
td {
    vertical-align: top;
}

p {
    margin: 1.3ex 0ex 0ex 0ex; 
    text-indent: 3ex;
}

em { font-family: Arial;}

pre.code {
    font-family: Verdana, Tahoma, monospace; 
    margin: 1ex;
}
.code {
    font-family: Tahoma;
    font-size: smaller;
}

A         {color: navy;}
A:hover   {color: #f08080;}
A:visited {color: purple;}
A:active  {color: red;}
A.xxx         {color: yellow;}
A.xxx:hover   {color: red;}
A.xxx:visited {color: yellow;}
A.xxx:active  {color: red;}

p.indent {
    margin-top: 1ex;
    margin-bottom: 1ex;
    text-indent: 5ex;
}

.box2 { 
  padding-top: 10px; 
  padding-right: 10px; 
  padding-left: 10px; 
  margin-left: 10px; 
  margin-right: 10px; 
  padding-bottom: 10px; border: 1 solid silver; background-color: white; width: 100%; /*height: 100%;*/
}

.menu   {font-weight: bold; text-decoration: none; color: white;}
.menu:visited   {font-weight: bold; text-decoration: none; color: white;}
.bar    {background-color: #990000; padding: 2px;}
.hint   {text-decoration: none; color: navy;  font-size: 8pt; text-align: center;}
.g      {color: Gray; font-size:11px; font-weight: bold;}
.g7     {color: Gray; font-size:9px;  font-weight: normal;}
.small  {font-size: 9px;}
.medium {font-size: 11px;}
.big    {font-size: 13px;}
a.b     {font-size: 13px; font-weight: bold;}
.p      {font-size: 11px; font-weight: bold; background-color: #ffcccc;}

.georgia {
    font-family: Georgia, serif; 
}


/* 4 db tables descriptions */
table.table { 
    border-style: none;
}  
table.table th, table.table td {
    font-size: 11px; font-family: Verdana, Arial, Helvetica, sans-serif;
    padding: 2;
    border: 1px solid black;
}
table.table th {
    color: white;
    background-color: #73ADEF; height: 3ex;
}