}
/* display empty strings as a gray middle dot */
.dump_r .empty.string:not(.numeric) > .lbl .val:after {
content: "\0387";
color: #BBBBBB;
}
/* hide empty strings completely
.dump_r .empty.string:not(.numeric) > .lbl .val {
display: none;
}
*/
</style>
<?php
dump_r::$css = ob_get_contents();
ob_end_clean();
// js
ob_start();
?>
<script>
(function(){
/*--- all this for expand/collapse arrow size consistency ---*/
function isUa(re) {return re.test(window.navigator.userAgent);}
var ua = isUa(/Chrom[ei]/) ? "ch" : isUa(/Firefox\//) ? "ff" : isUa(/Safari/) ? "sf" : isUa(/Opera/) ? "op" : isUa(/; MSIE \d/) ? "ie" : "oth";
var cfg = {
ff: [10,8,null,null],
ch: [10,10,null,null],
sf: [10,8.5,null,null],
