Both HTML and Java output renderers support scaling parametr. This simple example shows the result of 2x scaling in HTML.