/* $RCSfile: transvc.css,v $
 * $Revision: 1.1 $ $Date: 2009/05/21 18:40:18 $
 * Auth: Dave Loffredo (loffredo@steptools.com)
 * 
 * Copyright (c) 1991-2006 by STEP Tools Inc. 
 * All Rights Reserved.
 * 
 */

/**********************************************/
H1 { font-size: 120% }
H2 { font-size: 115% }

.hidden {display: none}
.uploaded_name {background: #e0e0e0}

/* References to buttons in the text */
.button {font-weight: bold}

/* The name of an option in an input form */
.optname {font-weight: bold}

.help {
/*  display: none;*/
    font-size: 80%;
    color: #202020;
    margin-left: 1em;
    margin-top: 2pt;
} 

/* Error messages */
.error {
    color: red;
}

/* Display the standard output of the translator */
.stdout {
    margin: 0;
    background: #cccccc;
}

/* 
 * This is where we put the links to the other stuff in the translation service
 * 
 */
DIV.indexbox {
	font-size: 	80%;
	width: 		15em; 
	border: 	solid 1px black; 
	background: 	#efefef; 
	padding: 	1em; 
	margin-left: 	1em; 
	margin-bottom: 	1em; 
	float: 		right;
	clear: 		right;
}

/* Kill the indent on lists and use different bullets.  Some browsers
 * use margin and others use padding, so set both to zero and just use
 * the padding 
 */
.indexbox UL{
	margin: 0; 
	padding: 0;
	padding-left: 1.5em;
	list-style-type: square;
}
.indexbox UL UL {
	list-style-type: disc; 
}


.label { font-weight: bold; }
.value {}

/* 
 * A box for the bug reports.
 */
DIV.bugreport {
/*	font-size: 	80%; */
	width: 		15em; 
	border: 	solid 1px black; 
 	background: 	#efefef;
	padding: 	1em; 
	margin-left: 	1em; 
	margin-bottom: 	1em; 
	float: 		right;
	clear: 		right;
}

.bugreport FORM {text-align: center}


/* .outfiles {background: #ffff00;} */
.outfiles UL {
	margin: 0; 
	padding: 0;
	padding-left: 1.5em;
	padding-bottom: .5em;
}

/* Force all the links to have the same color Since the same files can be 
 * translated multiple times, causing confusion.  */

.outfiles A:link { 
   color: #0000dd;  
   text-decoration: underline;
}
.outfiles A:visited { 
   color: #0000dd;  
   text-decoration: underline;
}
.outfiles A:hover { 
    color: #ff0000; 
    text-decoration: none; 
}

/* 
A:link    { color: #FFFFFF; text-decoration: none; }
A:visited { color: #DDDDDD; text-decoration: none; }
*/