body 
{
 margin:0px;
 padding:0px;
 color:#000;
 font-size:0.8125em;
 font-family: "Trebuchet MS","Bitstream Vera Sans",Verdana,Helvetica,sans-serif;
 font-size-adjust:none;
 font-style:normal;
 font-variant:normal;
 font-weight:normal;
 line-height:normal;
}

a 
{
 text-decoration:none;
 color:#00688b
}

a:hover 
{
 text-decoration:underline;
 color:#00688b
}

#header
{
 width:100%;
 float:left
 text-align:right;
 background-color:#cee6b6;
}

#header #logobox
{
 position:absolute;
 left:5px;
 top:5px;
}

#header #logobox a
{
 text-decoration:none;
 color:#cee6b6;
}
#header #logobox img
{
 border:0px;
}

#header #loginbox 
{
 padding:5px;
 height:1.5em;
 width:100%;
 float:right;
 text-align:right;
 font-size:110%;
 background-color:#cee6b6;
}

#header #loginbox a
{
 margin-left: 10px
}

#header #searchbox
{
 float:left;
 clear: left;
 width:100%;
 height:3.5em;
 text-align: center;
 background-color:#cee6b6;
}

#header #searchbox #search 
{
 padding:0px;
 border:0px
}

#header #search #q 
{
 width:40%;
 padding:5px;
 border:solid 1px #d3d3d3;
 margin-right:10px;
}

#header #search input
{
 width:90px
}

#header #mainmenubox
{
 float:left;
 clear: left;
 height:1.4em;
 width:100%;
 text-align:right;
 font-size:120%;
 background-color:#cee6b6;
}

#header #mainmenubox a
{
 float:right;
 margin:0px 0px 0px 3px;
 text-align: center;
 padding:5px 0px 5px 0px;
 width:91px;
 background-color: #fff;	
 background-image: url(/++resource++mainmenu_top.png);
 background-repeat: no-repeat;
 background-attachment: scroll;
 background-x-position: center;
 background-y-position: top;
}

#header #mainmenubox div
{
 float:right;
 margin:0px 0px 0px 3px;
 text-align: center;
 padding:5px 0px 5px 0px;
 width:91px;
 background-color: #fff;	
 background-image: url(/++resource++mainmenu_top.png);
 background-repeat: no-repeat;
 background-attachment: scroll;
 background-x-position: center;
 background-y-position: top;
}

div#footer
{
 margin: 150px 0px 20px 0px;
 font-size:medium;
 text-align:center;
 width:100%;clear:left;
 border-top:7px solid; 
 border-color:#cee6b6;
 padding:10px 0px 0px 0px
}

div#bodytitle
{
 float:left;
 clear:left;
 text-align:left;
 padding:0px;
 width:100%
}

div#bodytitletext
{
 float:left;
 padding:20px;
 font-size:140%
}

div#bodytitletext h1
{
 font-weight:normal;
 font-size:100%;
 display:inline;
 margin:0px; 
 padding:0px
}

/* search results */

div#listofpieces
{float:left;clear:left;margin-bottom:20px;width:100%}
div.pieceonthelist
{margin:0px 10px 0px 20px;border-bottom:solid 0.5px #cee6b6;padding:10px 0px 10px 0px}
div.pieceonthelist .title
{font-size:120%;}
div.pieceonthelist .title h2
{font-weight:normal;font-size:100%;display:inline;margin:0px; padding:0px}
div.pieceonthelist #shortPreview
{}/*{background-color:#fff;border-top: solid 1px #d3d3d3;border-bottom: solid 1px #d3d3d3;}*/
div.pieceonthelist .highlight 
{margin:5px 0px 5px 0px;}
pre.previewonthelist
{background-color:#e5ecf9;border-width:1px;border-style: dotted dashed;border-color:#000;padding:10px;margin-top:5px}
div.pieceonthelist .tags
{margin-top:5px;}

#about
{
 float:left; 
 clear:left
}

#about h2
{
 margin: 20px 40px 10px 40px;
 font-size:120%;
 border-bottom:1px solid;
 border-color:#00688b;
 color:#c17430
}

#about p
{
 padding-left: 60px
}

#moreinfo
{
 float:left;
 margin:0px 20px 20px 20px
}

#errormsg
{
 color: red;
 padding:20px;
 font-size:140%;
 float:right;
}

#okmsg
{
 color: blue;
 padding:20px;
 font-size:140%;
 float:right;
}

#infomsg
{
 color: #000;
 padding:20px;
 font-size:100%;
 float:right;
}

span.toollink
{
 font-size: 80%;
 margin-left:10px
}

.termFound {color: #000000; background-color:#ffff00}

#batch-navigation
{float:left;clear:left;margin:20px 10px 20px 20px;width:100%}

#batch-navigation div
{float:left;margin-right:20px}

.current
{color: #000;text-decoration: none;}

h2
{margin: 30px;}

.returnLink
{margin: 30px;}k