<?php
if (isset($_REQUEST['focus'])) {
?>
var e = document.getElementById("<?= $_REQUEST['focus'] ?>");
e.focus();
e.select();
<?
}
?>
// --></script>
<?php
echo $badge->render();
?>
</div><!-- badge_pane -->
<?php
$page_html = ob_get_contents();
ob_end_clean();
// --- right sidebar (preview) html
function render_right_sidebar() {
ob_start();
?>
<div class="badge_pane">
