/**
 */

// Adjust document first heading
$(document).ready(function() {
    $(".documentFirstHeading").each(function() {
	$("div#page-first-heading").append($(this).clone(true));
      });
});