div#header
{
   float: left;
   width: 600px;
   padding-bottom: 15px;
}

div#header p#logo
{
   float: left;
   margin: 0;
   padding: 0;
}

div#header p#logo a
{
   font-family: Verdana;
   font-size: 46px;
   font-weight: 800;
   font-style: normal;
   color: #08185A;
   text-decoration: none;
}

div#header div#language
{
   float: left;
   margin: 0 5px 0 5px;
}

div#header div#language img
{
   border: none;
   float: none;
}

div#header div#language a
{ 
   font-family: Verdana;
   font-size: 10px;
   font-weight: 400;
   font-style: normal;
   color: #08185A;
}

div#header p#update
{
   width: 130px;
   float: left;
   font-family: Verdana;
   font-size: 13px;
   font-weight:	400;
   font-style: normal;
   color: #08185A;
   clear: right;
}

div#header img
{
   clear: both;
   float: left;
}

div#wrapper
{
   width: 800px;  
   margin: 0 auto;
}

div#wrapper div#main
{
   width: 600px;
   float: left;
   font-family: Verdana;
   font-size: 13px;
}

div#menu
{
   float: left;
}

div#menu ul li
{
   list-style-type: none;
   width: 143px;
   height: 25px;
   padding: 3px;
   text-align: center;
}

div#menu ul li a
{
   font-family: Verdana;
   font-size: 13px;
   font-weight:	800;
   font-style: normal;
   color: #000000;
}

div#menu ul li.blue
{
   background-image: url(/images/tiny_blue.gif);
}

div#menu ul li.red
{
   background-image: url(/images/tiny_red.gif);
}

div#menu ul li.mint
{
   background-image: url(/images/tiny_mint.gif);
}

div#menu ul li.green
{
   background-image: url(/images/tiny_green.gif);
}

div#menu ul li.purple
{
   background-image: url(/images/tiny_purple.gif);
}

div#menu ul li.yellow
{
   background-image: url(/images/tiny_yellow.gif);
}

div#main h1
{
   font-family: Verdana;
   font-size: 32px;
   font-weight: bold;
   font-style: normal;
   color: #08185A;
   text-decoration: underline;
}


div#main h2
{
   font-family: Verdana;
   font-size: 24px;
   font-weight: bold;
   font-style: normal;
   color: #08185A;
}

div#main h3
{
   font-family: Verdana;
   font-size: 19px;
   font-weight: bold;
   font-style: normal;
   color: #000000;
   text-decoration: underline;
   margin: 19px 0 0 0;
}

div#main p
{
   margin: 0 0 9px 0;
}

div#main p#copyright
{
   margin-top: 10px;
   font-size: 10px;
}

div#main p.right
{
   width: 600px;
   text-align: right;
}

div#main div.articlenavigation
{
   width: 400px;
   background-color: #eeeeff;
   font-size: 10px;
   margin: 10px;
   padding: 3px;
   border: 1px solid black;
}

div#main div.articlenavigation a
{
   color: #000;
}

div#main span.tag
{
   color: red;
}

pre
{
   color: green; 
}

div#main div.ga
{
   margin: 15px;
}