githubmirror/tldr

scripts/pdf/basic.css

46 строк710 B

Matthew Peveler

scripts: improve generated PDF bookmark layout (#8809)

08 окт 2022, 02:10

08 окт 2022, 02:10ffcd738

/* SPDX-License-Identifier: MIT */

@font-face {
    font-family: "PT Serif";
    src: url("pt-serif-web-regular.ttf") format("truetype");
}

p {
    margin-left: 2.5em;
}

code {
    color: darkslategrey;
}

h1, h2, h4, ul {
    font-family: "PT Serif";
}

.title-main {
    text-align: center;
    margin-top: 6em;
    font-size: 350%;
}

.title-sub {
    text-align: center;
    font-size: 120%;
    color: darkslategrey;
}

.title-dir {
    text-align: center;
    margin-top: 8.2em;
    font-size: 300%;
}

/*
The same is to have this look like a H1 tag, but we want the H2 tag so the
bookmarks list makes sense.
*/
h2.title-page {
    font-size: 2em;
    margin-top: 0.67em;
    margin-bottom: 0.67em;
}