From 3a6edf7ebf6af9e6ad92ace865c0069090870c20 Mon Sep 17 00:00:00 2001 From: Bill Traynor Date: Mon, 31 Jul 2023 15:30:06 -0400 Subject: Set header and footer to same dimensions Set height and padding of header and footer to same values. --- src/resources/themes/riscv-spec.yml | 18 +++--------------- 1 file changed, 3 insertions(+), 15 deletions(-) (limited to 'src/resources') diff --git a/src/resources/themes/riscv-spec.yml b/src/resources/themes/riscv-spec.yml index fc2a21c..c2e4a3f 100644 --- a/src/resources/themes/riscv-spec.yml +++ b/src/resources/themes/riscv-spec.yml @@ -265,37 +265,25 @@ toc: # NOTE in addition to footer, header is also supported header: font_size: $base_font_size_small - # NOTE if background_color is set, background and border will span width of page border_color: dddddd border_width: 0.35 height: $base_line_height_length * 2.6 line_height: 1 padding: [$base_line_height_length / 1, 1, .5, 1] vertical_align: margin_inside - #image_vertical_align: or - # additional attributes for content: - # * {page-count} - # * {page-number} - # * {document-title} - # * {document-subtitle} - # * {chapter-title} - # * {section-title} - # * {section-or-chapter-title} recto: right: content: '{section-or-chapter-title} | Page {page-number}' verso: left: content: '{section-or-chapter-title} | Page {page-number}' - # left: 'Page {page-number} | {section-or-chapter-title}' footer: font_size: $base_font_size_small - # NOTE if background_color is set, background and border will span width of page border_color: dddddd - border_width: 0.25 - height: $base_line_height_length * 2.5 + border_width: 0.35 + height: $base_line_height_length * 2.6 line_height: 1 - padding: [$base_line_height_length / 2, 1, 0, 1] + padding: [$base_line_height_length / 1, 1, .5, 1] vertical_align: top #image_vertical_align: or # additional attributes for content: -- cgit v1.1