/***************************************************************
*  Copyright notice
*
*  (c) 2003-2004 Tobias Bender (tobias@phpXplorer.org)
*  All rights reserved
*
*  This script is part of the jsTree project. The jsTree project is
*  free software; you can redistribute it and/or modify
*  it under the terms of the GNU General Public License as published by
*  the Free Software Foundation; either version 2 of the License, or
*  (at your option) any later version.
*
*  The GNU General Public License can be found at
*  http://www.gnu.org/copyleft/gpl.html.
*  A copy is found in the textfile GPL.txt distributed with these scripts.
*
*  This script is distributed in the hope that it will be useful,
*  but WITHOUT ANY WARRANTY; without even the implied warranty of
*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
*  GNU General Public License for more details.
*
*  This copyright notice MUST APPEAR in all copies of the script!
***************************************************************/

body, td{
	font-size: 10px;
	font-family: Verdana;
	white-space: nowrap;
	margin: 0px
}

#treeContainer{
	margin: 0px;
	padding: 0px
}

img{
	vertical-align:middle;
	border: 0px
}

img.action{
	cursor: pointer
}

a{
	text-decoration: none
}

table.menu{
	background-color: #ffffff;
	border: 1px solid #999999
}

a:link{
	color: Navy;
}
a:visited{
	color: #666666;
}
a:hover{
	color: #993300;
	font-weight: bould;
}

/*********************/
/*dans le fichier php*/
/*********************/

td{
	color: #666666;
	font-family: Verdana
}

.typename{
	color: #888888
}

td.variable{
	font-size: 12px;
	font-family: Verdana
}

td.description{
	font-size: 12px;
	font-family: Verdana;
	color: #888888
}	

td.title{
	background-color: #77aadd;
	color: white;
	font-weight: bold;
	padding: 3px;
	font-size: 12px
}

td.code{
	font-family: Courier New;
	font-size: 12px;
	background-color: #fefefe;
	width: 300px;
	border: 1px solid #888888;
	padding: 10px;
	color: #003366
}

input.code{
	font-size: 12px;
	font-family: Courier New;
	width: 100%;
	color: #666666
}

textarea{
	color: #888888
}
a:link{
	color: #666666;
}
a:visited{
	color: #666666;
}
a:hover{
	color: #993300;
	font-weight: bould;
}