diff options
| author | Bill Traynor <wmat@riscv.org> | 2023-07-31 15:30:06 -0400 |
|---|---|---|
| committer | Bill Traynor <wmat@riscv.org> | 2023-07-31 15:30:06 -0400 |
| commit | 3a6edf7ebf6af9e6ad92ace865c0069090870c20 (patch) | |
| tree | 588acae56f479b2a520ee0f2a6e76c87c3761048 /src/resources | |
| parent | 1aa1bd4412dc027e0aab6654edc599651429f83d (diff) | |
| download | riscv-isa-manual-3a6edf7ebf6af9e6ad92ace865c0069090870c20.zip riscv-isa-manual-3a6edf7ebf6af9e6ad92ace865c0069090870c20.tar.gz riscv-isa-manual-3a6edf7ebf6af9e6ad92ace865c0069090870c20.tar.bz2 | |
Set header and footer to same dimensions
Set height and padding of header and footer to same values.
Diffstat (limited to 'src/resources')
| -rw-r--r-- | src/resources/themes/riscv-spec.yml | 18 |
1 files changed, 3 insertions, 15 deletions
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: <alignment> or <number> - # 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: <alignment> or <number> # additional attributes for content: |