#debuginfos h3 {
    margin:20px 0;
}

#debuginfos table { 
    border:1px solid #FFF; 
	border-collapse: collapse; 
	background:white; 
}
#debuginfos tbody td, tbody th { 
    vertical-align:top; 
	padding:2px 3px; 
}
#debuginfos thead th, #debuginfos th {
	padding:1px 6px 1px 3px;
	background-color:#2F5E8C;
	color:#FFFFFF;
	text-align:left;
	font-weight:bold;
	font-size:11px;
	border:1px solid #FFF;
}
#debuginfos  tbody th { 
    text-align:right; 
	color:#FFF; 
	padding-right:.5em; 
	padding:4px 3px;
}
#debuginfos  table td { 
    background-color: #EEE; 
	border:1px solid #FFF;
}
#debuginfos  table.vars { 
    margin:5px 0 2px 40px; 
}
#debuginfos  table.vars td, #debuginfos table.req td { 
    font-family:monospace; 
}
#debuginfos  table td.code { 
     width:95%;
}
#debuginfos  table td.code div { 
    overflow:hidden; 
}
#debuginfos  table.source th { 
    color:#666; 
}
#debuginfos  table.source td { 
    font-family:monospace; 
	white-space:pre; 
	border-bottom:1px solid #eee; 
}
#debuginfos   ul.traceback { 
    list-style-type:none; 
}
#debuginfos ul.traceback li.frame { 
    margin-bottom:1em; 
}
/* code context*/
#debuginfos div.context { 
    margin:5px 0 2px 40px; 
	background-color:#EEE; 
	/*border-left:3px solid #2F5E8C; */
}
#debuginfos div.context ol { 
    padding-left:30px; 
	margin:0 10px; 
	list-style-position: inside; 
}
#debuginfos div.context ol li { 
    font-family:monospace; 
	white-space:pre; 
	color:#666; 
	cursor:pointer; 
}
/* ligne du code source ou est apparu l'erreur */
#debuginfos   div.context li.current-line {
	color:black;
	background-color:#FFCC00;
}
#debuginfos  div.commands { 
    margin-left: 40px; 
}
#debuginfos   div.commands a { 
    color:black; text-decoration:none; 
}
#debuginfos p.headers { 
    background: #70FFDB; font-family:monospace; 
}
    
#traceback { 
    background:#eee; 
}
    
#debuginfos   .switch { text-decoration: none; }
#debuginfos  .whitemsg { background:white; color:black;}