paper_a5_short_mm :: Double Source #

paper_a5_long_mm :: Double Source #

paper_a4_short_mm :: Double Source #

paper_a4_long_mm :: Double Source #

paper_a3_short_mm :: Double Source #

paper_a3_long_mm :: Double Source #

paper_a2_short_mm :: Double Source #

paper_a2_long_mm :: Double Source #

paper_a1_short_mm :: Double Source #

paper_a1_long_mm :: Double Source #