/* styles for the debugger */
div#se_debug_window_container
{
	font-size: 10px;
}

table#se_debug_window
{
  background: #ffffff;
  border: 1px solid #cccccc;
  width: 500px;
  
  z-index: 100;
  font-size: 10px;
}

td#se_debug_window_menu
{
	padding: 4px 5px 5px 6px;
	border: 1px solid #DDDDDD;
	font-weight: bold;
	background-image: url(../images/header.gif);
	background-repeat: repeat-x;
	color: #333333;
  cursor: move;
  font-size: 10px;
}

div#se_debug_window_body_container
{
  width: 500px;
  height: 375px;
  overflow: auto;
  font-size: 10px;
}

#debug_menu td {
	background-color: #dddddd;
    font-size: 10px;
}
.debug_sql_query span {
	margin-bottom: 5px;
	font-size: 10px;
}