diff --git a/server/djrandom/frontend/static/css/style.css b/server/djrandom/frontend/static/css/style.css index e668318540ca10cc0ad378862232bda4ad83702b..b66662876b34a90c2242e503f7a8bf052bcd30e8 100644 --- a/server/djrandom/frontend/static/css/style.css +++ b/server/djrandom/frontend/static/css/style.css @@ -212,7 +212,12 @@ table.summary { } #debug { - margin-top: 30px; - font-size: 75%; - color: #999; + margin-top: 30px; + font-size: 75%; + color: #999; +} + +#debug p { + margin: 0; + padding: 0; } diff --git a/server/djrandom/frontend/static/js/djr/player.js b/server/djrandom/frontend/static/js/djr/player.js index be7e5b34c9cf1a3d40559863c44c60c8ce551f5a..15baf973e33c9d21341e80828ded06708251a55f 100644 --- a/server/djrandom/frontend/static/js/djr/player.js +++ b/server/djrandom/frontend/static/js/djr/player.js @@ -459,7 +459,11 @@ djr.player = function() { // Debugging. djr.debug = function(msg) { - $('#debug').append(msg + '<br>'); + var n_logs = $('#debug p').length; + if (n_logs > 7) { + $('#debug p:first').remove(); + } + $('#debug').append('<p>' + msg + '</p>'); }; // An error has occurred in the player.