Already got it :) Didn't know the default font size is 10pt and doesn't get applied unless it's different, so I was looking for an attribute that doesn't exist.
-- --- You received this message because you are subscribed to the Google Groups "jOpenDocument" group. To unsubscribe from this group and stop receiving emails from it, send an email to jopendocument+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jopendocument/ee21004a-f908-4040-9c4d-55b92ea0e370%40googlegroups.com.
