Better sizing for Java + HTML