Git-Mirrors/anarsec.guide
1
0
Fork 0
mirror of https://0xacab.org/anarsec/anarsec.guide.git synced 2025-06-29 08:47:24 -04:00
Code Issues Projects Releases Packages Wiki Activity

typst level 1 page break

Browse source
This commit is contained in:
anarsec 2024-04-18 16:54:58 +00:00
parent 8428d86f8b
commit 32784a25be
No known key found for this signature in database
3 changed files with 3 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
layout/anarsec_article.typ
View file

@ -57,7 +57,6 @@
// set headings
show heading.where(level: 1): it => {
pagebreak(weak: true)
block(width: 100%)[
#set align(center)
#set text(size: 22pt, font: "Jost")
@ -99,7 +98,7 @@
}
}
else if it.dest.starts-with("https://") or it.dest.starts-with("http://") {
footnote[#it.dest.trim("https://", at: start).trim("http://", at: start)]
footnote[#it.dest.trim("https://", at: start).trim("http://", at: start).trim("www.", at: start)]
}
else if it.dest.starts-with("/glossary#") or it.dest.starts-with("/glossary/#") {
context {

3
layout/python/anarsec_article_to_pdf.py
View file

@ -98,9 +98,6 @@ class Converter:
# Grab the description
description = re.search(r'^(.*?)\<\!\-\- more \-\-\>', markdown_content, re.DOTALL | re.MULTILINE).group(1).strip("\n ")
# Add the intro heading
markdown_content = f"# Introduction\n\n{markdown_content}"
# Parse the description
description_md_path = pathlib.Path(workingDirectory) / "description.md"
description_txt_path = pathlib.Path(workingDirectory) / "description.txt"

4
themes/DeepThought/static/js/site.js
View file

@ -30,8 +30,8 @@
const elemAbsBottom = elemRect.bottom - bodyRect.top;
const h = (window.innerHeight || document.documentElement.clientHeight);
document.querySelector(".menu").style = "position: sticky; top: 48px;";
const minScroll = tocIndex.offsetTop - document.querySelector(".menu").clientHeight + tocIndex.offsetHeight + 50;
const maxScroll = tocIndex.offsetTop - tocIndex.offsetHeight - 50;
const minScroll = tocItems[tocIndex].offsetTop - document.querySelector(".menu").clientHeight + tocItems[tocIndex].offsetHeight + 50;
const maxScroll = tocItems[tocIndex].offsetTop - tocItems[tocIndex].offsetHeight - 50;
if(document.querySelector(".menu").scrollTop < minScroll){
document.querySelector(".menu").scrollTop = minScroll;
}