dompdf: set option