3 font-family: Arial, "Bitstream Vera Sans", Verdana, sans-serif;
50 border-left: 10px solid #134275;
56 font-family: Tahoma, Verdana, sans-serif;
82 border-bottom: 10px solid #134275;
83 padding: 0px 6px 0px 4px;
102 font-family: "Bitstream Vera Sans Mono", "Courier New", "Courier", monospace;
106 #demoDebug .log-body{
115 #demoDebug .log-debug{
120 #demoDebug .log-info{
125 #demoDebug .log-warn{
130 #demoDebug .log-error{
136 #demoDebug .log-group{
139 text-decoration: underline;
142 #demoDebug .log-head{
143 padding: 8px 2px 4px;
147 #demoDebug .log-head button{
148 border: 1px solid #335EA8;
152 font-family: Tahoma, Verdana, sans-serif;
155 #demoDebug .log-head button{
161 -moz-appearance: none !important;