body { 
	margin: 0; 
       font-family: verdana, helvetica, arial, sans-serif;
	font-size: 12px;

}
#hidden{
	display:none;
}

#warning {
	font-size: 14px;
	font-weight:bold;
	color:red;
}

#warning_link {
	font-size: 12px;
	font-weight:bold;
	color:black;
}

#back {
	font-size: 14px;
	font-weight:bold;
	color:blue;
}

#help {
	font-size: 16px;
	font-weight:bold;
	color:pink;
}

#header_help {
	font-size: 14px;
	color:black;
}

#header_corpus {
	position:relative;
	top:5px;
	left:10px;
	font-weight:bold;
	font-size: 18px;
	color:pink;
}

#header_title {
	position:relative;
	right:50px;
	top:10px;
	text-decoration:none;
	color:white;
	font-size : 30px;
}

#header_help {
	text-decoration:none;
	color:white;
    text-align: right;
	height:25px;
}

#header_text {
	text-decoration:none;
	color:white;
	font-size: 12px;
}

#header_grayed_out {
	text-decoration:none;
	color:darkgray;
	font-size: 12px;
}

#download_url {
	color:blue;
	font-size : 14px;
}

A {
	text-decoration:none;
	color:white;
	font-size : 12px;
}


A:hover {
	color:pink;
	font-size : 12px;
}



.small {
        letter-spacing: -0.2em;
	font-size:7px;
}

.box {
        display:block;
	behavior:url(#default#savehistory);
}

.txt {

       font-family: verdana, helvetica, arial, sans-serif;
	font-size: 12px;

}

.txt_top {

        margin: 10px;
}

.txt2 {

        font-family: verdana, helvetica, arial, sans-serif;
        font-size: 12px;
	

}



table.m { border-collapse: collapse;border:1px solid #e5e3e3 }



div.domMenu_menuBar {
    border: solid #000000;  
    border-width: 1px 0 0 1px;
}
div.domMenu_menuElement {
    font-family: Arial, sans-serif; 
    font-size: 12px;
    border: solid #000000;  
    border-width: 0px 1px 1px 0px;
    background: url(img/menu_def.png) repeat-x; 
    height: 22px;
    line-height: 22px;
    background-color: #00FF00; 
    color: #000000;
    text-align: center;
    padding-left: 2px;
}
div.domMenu_menuElementHover {
    background: url(img/menu_hov.png) repeat-x;
}
div.domMenu_subMenuBar {
    border: solid gray;  
    border-width: 1px 1px 1px 1px;
    opacity: 0.90;
    filter: alpha(opacity=70);
}
div.domMenu_subMenuElement {
    font-family: Arial, sans-serif; 
    font-size: 13px;
    border: solid #000000;  
    border-width: 0px 0px 0 0px;
    background-color: gray; 
    color: white;
    padding-left: 2px;
}
div.domMenu_subMenuElementHeading {
    font-weight: bold;
}
div.domMenu_subMenuElementHover {
    background-color: #777777;
    color: pink;
}