develop
/*debugging information*/ div#footnotes_debug { background-color: rgb(235, 235, 235); } .debug_dump { font-size: 11px; }