/* General styles */
body
{
color: #000000;
font-family: "times new roman",times;
font-size: normal
}

a:link {font-style: normal; font-weight: bold; color: 0000ff; text-decoration: underline;}
a:visited {font-style: normal; font-weight: bold; color: 800080; text-decoration: underline;}
a:hover {font-style: normal; font-weight: bold; color: 0000af; text-decoration: none;}

a.link:link {font-style: normal; font-weight: bold; color: 0000ff; text-decoration: underline;}
a.link:visited {font-style: normal; font-weight: bold; color: 800080; text-decoration: underline;}
a.link:hover {font-style: normal; font-weight: bold; color: 0000af; text-decoration: none;}

a.email:link {font-weight: normal; color: 0000ff; text-decoration: underline;}
a.email:visited {font-style: normal; font-weight: normal; color: 800080; text-decoration: underline;}
a.email:hover {font-style: normal; font-weight: bold; color: 0000af; text-decoration: none;}

a.bottomnavigation {font-family: Tahoma; font-size: 11pt; font-weight: bold; color: 0000af; text-decoration: none}
a.bottomnavigation:hover {font-family: Tahoma; font-size: 11pt; font-weight: bold; color: 0000af; text-decoration: underline}

.example {font-weight: normal; color: 000050; text-decoration: none}
.copyright {font-family: Tahoma; font-size: 9pt; font-weight: normal; color: black; text-decoration: none}
a.copyright {font-family: Tahoma; font-size: 9pt; font-weight: bold; color: black; TEXT-DECORATION: underline}
a.copyright:hover {font-family: Tahoma; font-size: 9pt; font-weight: bold; color: 0000af; TEXT-DECORATION: none}

h2 {font-family: Arial; font-size:15px; font-weight: bold; color: black; margin-top:2px; margin-bottom:2px;}
h3.cert {text-align:center; font-family: Arial; font-size:15px; font-weight: bold; color: white; background-color:0099ff; margin-top:10px; margin-bottom:10px;}
h3.head {text-align:center;}
h4.head {text-align:center;}
     
ul.plain {list-style-type: none}

p {text-align: justify}

/* Styles for fonts in the articles */

/* former: <font size=+1>, now makes size bigger and font bold */
.fp1
{
 font-size: 120%;
 font-weight: bold
}
.PHPFunc
{
 font-size: 100%;
 font-weight: normal;
 color:rgb(0,0,187)
}
/* red color */
.red
{
 color: ff0000
}
/* Note in div */
/*background: #e5e5e5;*/
div.foot1
{
 font-size: 80%;
 background: #faf8cc;
 border: thin solid #000000;
 padding: 3px;
 margin-left: 5px;
 margin-right: 5px
}
div.code
{
 overflow:visible;
 background: #efefef;
 border: thin solid #efefef;
 padding: 5px;
 margin-left: 0px;
 margin-right: 0px
}
div.foot1code
{
 font-size: 110%;
}

div.logo_top
{
}

div.logo_bottom
{
 margin-top:13px;
 margin-bottom:3px;
}

.logo_text
{
 color:#ffffff;
 font-size:24pt;
 font-family:serif;
 font-style: italic;
}


.logo_price
{
 color:#ffffff;
 font-size:24pt;
 font-family:serif;
 font-style: italic;
 margin-left:25px; 
}

.logo_languages
{
 color:D0D0D0;
 font-size:12pt;
 font-family:sans-serif;
 font-style: italic;
 margin-left:100px; 
}