body				{ margin: 8px; } /* same margin */
div.clear, br		{ clear: both; margin: none; padding: none; border: none; }

.trace				{ background: black; color: white; font-family: verdana; font-size: 11px; text-align: left; }
.trace pre			{ margin: 0px; padding: 0px; font-family: verdana; }
pre.trace			{ margin: 0px 0px -1px; border: 1px solid black; background: #ffdd99; color: black; font: 10px verdana; text-align: left; }
.traced_string		{ color: black; }
.traced_integer		{ color: red; }
.traced_boolean		{ color: green; font-weight: bold; }
.traced_query		{ color: black; font-weight: bold; }
.traced_array		{ color: yellow; }
.traced_key			{ background: #660000; color: white; cursor: pointer; }
.traced_value		{ background: #cccccc; color: black; border-left: 1px solid black; }
.traced_already		{ color: red; font-weight: bold; }
.traced_array,
.traced_object		{ background: #666666; xcolor: yellow; }

/* positional */
.trace				{ clear: both; padding: 2px 2px 0px; }
.traced_line		{ clear: both; margin: 2px 0px 0px; padding-left: 2px; }
.traced_line.self	{ margin-left: -1px; padding-left: 0px; }
.traced_key			{ padding: 3px; float: left; }
.traced_key.long	{ float: none; }
.traced_keypad		{ width: 120px; height: 1px; }
.traced_valuepad	{ width: 126px; height: 1px; float: left; } /* keypad width + key padding */
.traced_value		{ padding: 3px 3px 4px; min-height: 13px; overflow: auto; } /* FF: min-height for empty div; overflow for correct div shape */
.traced_array,
.traced_object		{ padding: 0px; overflow: auto; } /* shape in FF */
.traced_valuepad,
.traced_inner		{ display: none; }

div.core_debugger	{ width: 400px; height: 300px; position: fixed; top: 30px; right: 20px; padding: 10px; font-family: verdana; font-size: 0.9em; text-align: left; color: #ffffff; background-color: #000000; filter: alpha(opacity=80); opacity: 0.8; z-index: 200; overflow: auto; overflow-y: scroll; }