2021-07-16 14:15:31 +01:00
|
|
|
/* SPDX-License-Identifier: MIT */
|
|
|
|
|
2018-03-11 18:53:48 +00:00
|
|
|
@font-face {
|
2023-10-13 06:30:58 +01:00
|
|
|
font-family: "PT Serif";
|
|
|
|
src: url("pt-serif-web-regular.ttf") format("truetype");
|
2018-03-11 18:53:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
p {
|
2020-12-11 20:25:11 +00:00
|
|
|
margin-left: 2.5em;
|
2018-03-11 18:53:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
2020-12-11 20:25:11 +00:00
|
|
|
color: darkslategrey;
|
2018-03-11 18:53:48 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 20:25:52 +00:00
|
|
|
h1, h2, h4, ul {
|
2023-10-13 06:30:58 +01:00
|
|
|
font-family: "PT Serif";
|
2018-03-11 18:53:48 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 20:25:52 +00:00
|
|
|
.title-main {
|
2020-12-11 20:25:11 +00:00
|
|
|
text-align: center;
|
|
|
|
margin-top: 6em;
|
|
|
|
font-size: 350%;
|
2018-03-11 18:53:48 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 20:25:52 +00:00
|
|
|
.title-sub {
|
2020-12-11 20:25:11 +00:00
|
|
|
text-align: center;
|
|
|
|
font-size: 120%;
|
|
|
|
color: darkslategrey;
|
2018-03-11 18:53:48 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 20:25:52 +00:00
|
|
|
.title-dir {
|
2020-12-11 20:25:11 +00:00
|
|
|
text-align: center;
|
|
|
|
margin-top: 8.2em;
|
|
|
|
font-size: 300%;
|
2019-12-17 20:25:52 +00:00
|
|
|
}
|
2022-10-08 00:10:44 +01:00
|
|
|
|
|
|
|
/*
|
|
|
|
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;
|
|
|
|
}
|