Skip to content

Commit 7fad586

Browse files
committedFeb 23, 2025
more templates!
1 parent 2e51438 commit 7fad586

File tree

9 files changed

+144
-70
lines changed

9 files changed

+144
-70
lines changed
 

‎.org-generic-id-locations

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
nil
1+
nil

‎bookmarks

+4-5
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,8 @@
33
;;; nevertheless, you probably don't want to edit it.
44
;;; -*- End Of Bookmark File Format Version Stamp -*-
55
(("org-capture-last-stored"
6-
(filename . "~/Dropbox/knowledgebase/KBhsu_cs199_jan242025.org")
7-
(front-context-string)
8-
(rear-context-string . "hor: Houjun Liu\n")
9-
(position . 117)
10-
(last-modified 26515 54850 933889 0))
6+
(filename
7+
. "~/Dropbox/knowledgebase/KBhneural_network_verification.org")
8+
(front-context-string) (rear-context-string . "hor: Houjun Liu\n")
9+
(position . 126) (last-modified 26551 40867 622525 0))
1110
)

‎init.el

+45-12
Original file line numberDiff line numberDiff line change
@@ -690,6 +690,7 @@ Start an unlimited search at `point-min' otherwise."
690690
"slt" (lambda () (interactive) (laas-wrap-previous-object "text")))
691691
:hook
692692
(org-mode . laas-mode)
693+
(TeX-mode . laas-mode)
693694
(latex-mode . laas-mode))
694695

695696
;; disable company-capf (i.e. Org Roam complete) inside a math enviroment for org
@@ -819,17 +820,49 @@ Start an unlimited search at `point-min' otherwise."
819820

820821
:config
821822

822-
;; We can use variable values when defining new blocks
823-
(org-defblock test
824-
(title "bafoon") ()
825-
"A testing remark block"
826-
(format
827-
(if (equal backend 'hugo)
828-
"1:%s 2:%s"
829-
"%s how: %s")
830-
title contents))
831-
:hook
832-
(org-mode . org-special-block-extras-mode))
823+
;; We can use variable values when defining new blocks
824+
(org-defblock theorem (title nil)
825+
(pcase backend
826+
('latex (if title
827+
(format "\\begin{theorem}[%s]\n%s\n\\end{theorem}" title (string-trim raw-contents))
828+
(format "\\begin{theorem}\n%s\n\\end{theorem}" (string-trim raw-contents))))
829+
;; TODO handle Hugo/html
830+
(_ (format "<p class=\"theorem\"><span>%s</span></p>" contents))))
831+
832+
(org-defblock definition (title nil)
833+
(pcase backend
834+
('latex (if title
835+
(format "\\begin{definition}[%s]\n%s\n\\end{definition}" title (string-trim raw-contents))
836+
(format "\\begin{definition}\n%s\n\\end{definition}" (string-trim raw-contents))))
837+
;; TODO handle Hugo/html
838+
(_ (format "<p class=\"definition\"><span>%s</span></p>" contents))))
839+
840+
(org-defblock corollary (title nil)
841+
(pcase backend
842+
('latex (if title
843+
(format "\\begin{corollary}[%s]\n%s\n\\end{corollary}" title (string-trim raw-contents))
844+
(format "\\begin{corollary}\n%s\n\\end{corollary}" (string-trim raw-contents))))
845+
;; TODO handle Hugo/html
846+
(_ (format "<p class=\"corollary\"><span>%s</span></p>" contents))))
847+
848+
(org-defblock lemma (title nil)
849+
(pcase backend
850+
('latex (if title
851+
(format "\\begin{lemma}[%s]\n%s\n\\end{lemma}" title (string-trim raw-contents))
852+
(format "\\begin{lemma}\n%s\n\\end{lemma}" (string-trim raw-contents))))
853+
;; TODO handle Hugo/html
854+
(_ (format "<p class=\"lemma\"><span>%s</span></p>" contents))))
855+
856+
(org-defblock example (title nil)
857+
(pcase backend
858+
('latex (if title
859+
(format "\\begin{example}[%s]\n%s\n\\end{example}" title (string-trim raw-contents))
860+
(format "\\begin{example}\n%s\n\\end{example}" (string-trim raw-contents))))
861+
;; TODO handle Hugo/html
862+
(_ (format "<p class=\"example\"><span>%s</span></p>" contents))))
863+
864+
:hook
865+
(org-mode . org-special-block-extras-mode))
833866

834867
;; ----developer tools
835868

@@ -2123,7 +2156,7 @@ that."
21232156
(add-hook 'org-mode-hook (lambda ()
21242157
(olivetti-mode)))
21252158
;; code highlightin
2126-
(setq org-latex-packages-alist '(("margin=1in" "geometry")))
2159+
(setq org-latex-packages-alist '(("margin=1.2in" "geometry")))
21272160
;; (add-to-list 'org-latex-packages-alist '("" "minted"))
21282161
(add-to-list 'org-latex-packages-alist '("" "physics"))
21292162
;; (add-to-list 'org-latex-packages-alist '("" "tikz"))

‎snippets/org-mode/Definition

+6-11
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,8 @@
1-
# key: ~defn
2-
# name: Definition
1+
# -*- mode: snippet -*-
2+
# name: definition
3+
# key: ~defb
34
# --
45

5-
$1
6-
7-
* constituents
8-
9-
* requirements
10-
11-
* additional information
12-
13-
6+
#+begin_definition $1
7+
$2
8+
#+end_definition

‎snippets/org-mode/corollary

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
# key: ~coro
2+
# name: corollary
3+
# --
4+
#+begin_corollary
5+
$1
6+
#+end_corollary

‎snippets/org-mode/example

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
# key: ~ex
2+
# name: example
3+
# --
4+
#+begin_example
5+
$1
6+
#+end_example

‎snippets/org-mode/lemma

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
# key: ~lem
2+
# name: lemma
3+
# --
4+
#+begin_lemma
5+
$1
6+
#+end_lemma

‎snippets/org-mode/theorem

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# name: theorem
3+
# key: ~the
4+
# --
5+
6+
#+begin_theorem $1
7+
$2
8+
#+end_theorem

‎templates/default.org

+62-41
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,23 @@
1-
#+LATEX_COMPILER: xelatex
2-
3-
#+LATEX_CLASS_OPTIONS: [letterpaper]
1+
#+LATEX_COMPILER: xelaex
42

3+
#+latex_class_options: [10pt]
4+
#+LATEX_HEADER_EXTRA: \usepackage{amsmath}
5+
#+LATEX_HEADER_EXTRA: \usepackage{amsthm}
6+
#+LATEX_HEADER_EXTRA: \usepackage{fontspec}
7+
#+LATEX_HEADER_EXTRA: \usepackage[utf8]{inputenc}
8+
#+LATEX_HEADER_EXTRA: \usepackage[T1]{fontenc}
9+
#+LATEX_HEADER_EXTRA: \usepackage{graphicx}
10+
#+LATEX_HEADER_EXTRA: \usepackage{longtable}
11+
#+LATEX_HEADER_EXTRA: \usepackage{wrapfig}
12+
#+LATEX_HEADER_EXTRA: \usepackage{rotating}
13+
#+LATEX_HEADER_EXTRA: \usepackage[normalem]{ulem}
14+
#+LATEX_HEADER_EXTRA: \usepackage{amsmath}
15+
#+LATEX_HEADER_EXTRA: \usepackage{amssymb}
16+
#+LATEX_HEADER_EXTRA: \usepackage{capt-of}
17+
#+LATEX_HEADER_EXTRA: \usepackage{booktabs}
18+
#+LATEX_HEADER_EXTRA: \usepackage{algorithm}
19+
#+LATEX_HEADER_EXTRA: \usepackage{algpseudocode}
20+
#+LATEX_HEADER_EXTRA: \usepackage{physics}
521
#+LATEX_HEADER_EXTRA: \usepackage{graphicx}
622
#+LATEX_HEADER_EXTRA: \usepackage{longtable}
723
#+LATEX_HEADER_EXTRA: \usepackage{wrapfig}
@@ -10,13 +26,10 @@
1026
#+LATEX_HEADER_EXTRA: \usepackage{amsmath}
1127
#+LATEX_HEADER_EXTRA: \usepackage{amssymb}
1228
#+LATEX_HEADER_EXTRA: \usepackage{capt-of}
13-
#+LATEX_HEADER_EXTRA: \usepackage[hidelinks]{hyperref}
1429
#+LATEX_HEADER_EXTRA: \usepackage{algorithm}
1530
#+LATEX_HEADER_EXTRA: \usepackage{algpseudocode}
1631
#+LATEX_HEADER_EXTRA: \usepackage{tikz}
1732
#+LATEX_HEADER_EXTRA: \usepackage{physics}
18-
#+LATEX_HEADER_EXTRA: \usepackage{minted}
19-
#+LATEX_HEADER_EXTRA: \usepackage[margin=1in,marginparsep=4mm, right=5cm, marginparwidth=35mm]{geometry}
2033
#+LATEX_HEADER_EXTRA: \setlength{\parindent}{0pt}
2134
#+LATEX_HEADER_EXTRA: \usepackage{svg}
2235
#+LATEX_HEADER_EXTRA: \usepackage{tikz}
@@ -29,55 +42,61 @@
2942
#+LATEX_HEADER_EXTRA: \usepackage{etoolbox}
3043
#+LATEX_HEADER_EXTRA: \usepackage{enumitem}
3144
#+LATEX_HEADER_EXTRA: \usepackage{fancyhdr}
45+
#+LATEX_HEADER_EXTRA: \usepackage{nameref}
46+
#+LATEX_HEADER_EXTRA: \usepackage{mdframed}
47+
48+
#+LATEX_HEADER_EXTRA: \mdfsetup{
49+
#+LATEX_HEADER_EXTRA: backgroundcolor=gray!7,
50+
#+LATEX_HEADER_EXTRA: skipabove=\baselineskip,
51+
#+LATEX_HEADER_EXTRA: skipbelow=\baselineskip,
52+
#+LATEX_HEADER_EXTRA: innertopmargin=5pt,
53+
#+LATEX_HEADER_EXTRA: linewidth=0pt,
54+
#+LATEX_HEADER_EXTRA: innerbottommargin=15pt,
55+
#+LATEX_HEADER_EXTRA: innerrightmargin=10pt,
56+
#+LATEX_HEADER_EXTRA: innerleftmargin=10pt,
57+
#+LATEX_HEADER_EXTRA:}
58+
#+LATEX_HEADER_EXTRA:
59+
#+LATEX_HEADER_EXTRA: \theoremstyle{definition}
60+
#+LATEX_HEADER_EXTRA: \newmdtheoremenv[
61+
#+LATEX_HEADER_EXTRA: backgroundcolor=gray!4
62+
#+LATEX_HEADER_EXTRA:]{example}{Example}[section]
63+
#+LATEX_HEADER_EXTRA: \theoremstyle{plain}
64+
#+LATEX_HEADER_EXTRA: \newmdtheoremenv{theorem}{Theorem}[section]
65+
#+LATEX_HEADER_EXTRA: \newmdtheoremenv{definition}{Definition}[section]
66+
#+LATEX_HEADER_EXTRA: \newtheorem{corollary}{Corollary}[theorem]
67+
#+LATEX_HEADER_EXTRA: \newtheorem{lemma}[theorem]{Lemma}
3268
#+LATEX_HEADER_EXTRA: \pagestyle{empty}
3369
#+LATEX_HEADER_EXTRA: \pagestyle{fancy}
3470
#+LATEX_HEADER_EXTRA: \fancyhead{}
3571
#+LATEX_HEADER_EXTRA: \fancyfoot{}
36-
#+LATEX_HEADER_EXTRA: \makeatletter
3772
#+LATEX_HEADER_EXTRA: \fancyhead[R]{
38-
#+LATEX_HEADER_EXTRA: \leftmark\hspace{0.5em}
73+
#+LATEX_HEADER_EXTRA: \leftmark\hspace{0.7em} \small{\thepage}
3974
#+LATEX_HEADER_EXTRA:}
40-
41-
#+LATEX_HEADER_EXTRA: \fancyfoot[L]{\thepage}
42-
#+LATEX_HEADER_EXTRA: \makeatother
75+
#+LATEX_HEADER_EXTRA: \renewcommand{\sectionmark}[1]{\markboth{\footnotesize{Sec. \thesection\hspace{0.75em} #1}}{}}
76+
#+LATEX_HEADER_EXTRA: % \fancyhead[L]{\large{\thepage}}
77+
#+LATEX_HEADER_EXTRA:
4378

4479
#+LATEX_HEADER_EXTRA: \renewcommand{\headrulewidth}{0pt}
4580
#+LATEX_HEADER_EXTRA: \setlist{topsep=1em, itemsep=0.2em}
46-
#+LATEX_HEADER_EXTRA: \setlength{\parskip}{0.3mm}%
47-
#+LATEX_HEADER_EXTRA: \setlength{\parindent}{10pt}%
48-
#+LATEX_HEADER_EXTRA: \apptocmd\normalsize{%
49-
#+LATEX_HEADER_EXTRA: \abovedisplayskip=12pt plus 3pt minus 9pt
50-
#+LATEX_HEADER_EXTRA: \abovedisplayshortskip=0pt plus 3pt
51-
#+LATEX_HEADER_EXTRA: \belowdisplayskip=10pt plus 3pt minus 9pt
52-
#+LATEX_HEADER_EXTRA: \belowdisplayshortskip=12pt plus 3pt minus 4pt
53-
#+LATEX_HEADER_EXTRA:}{}{}
54-
#+LATEX_HEADER_EXTRA: \setmainfont[
55-
#+LATEX_HEADER_EXTRA: BoldFont={ETBembo BoldLF},
56-
#+LATEX_HEADER_EXTRA: ItalicFont={ETBembo DisplayItalic},
57-
#+LATEX_HEADER_EXTRA: BoldItalicFont={ETBembo BoldLF}
58-
#+LATEX_HEADER_EXTRA:]{ETBembo RomanLF}
81+
#+LATEX_HEADER_EXTRA: \setlength{\parskip}{0.5mm}
82+
#+LATEX_HEADER_EXTRA: \setlength{\parindent}{0pt}
5983
#+LATEX_HEADER_EXTRA: \usepackage{algpseudocode}
6084
#+LATEX_HEADER_EXTRA: \usepackage{algorithm}
61-
#+LATEX_HEADER_EXTRA: \usepackage[hang,side,ragged,flushmargin]{footmisc}
62-
#+LATEX_HEADER_EXTRA: \makeatletter
63-
#+LATEX_HEADER_EXTRA: \renewcommand\@makefntext[1]{%
64-
#+LATEX_HEADER_EXTRA: \noindent
65-
#+LATEX_HEADER_EXTRA: \hb@xt@0.75em{\hss\@makefnmark\hspace{0.2em}}#1}
66-
#+LATEX_HEADER_EXTRA: \makeatother
67-
68-
85+
#+LATEX_HEADER_EXTRA: \setmainfont[
86+
#+LATEX_HEADER_EXTRA: BoldFont={IBM Plex Serif Medium},
87+
#+LATEX_HEADER_EXTRA: ItalicFont={IBM Plex Serif Italic},
88+
#+LATEX_HEADER_EXTRA: BoldItalicFont={IBM Plex Serif Medium Italic}
89+
#+LATEX_HEADER_EXTRA:]{IBM Plex Serif}
6990

70-
#+LATEX_HEADER_EXTRA: \makeatletter
71-
#+LATEX_HEADER_EXTRA: \let\old@rule\@rule
72-
#+LATEX_HEADER_EXTRA: \def\@rule[#1]#2#3{\textcolor{lightgray}{\vspace{\baselineskip}\old@rule[#1]{#2}{0.05pt}}}
91+
#+LATEX_HEADER_EXTRA: \usepackage[side,ragged,flushmargin]{footmisc}
7392
#+LATEX_HEADER_EXTRA: \makeatother
74-
7593
#+LATEX_HEADER_EXTRA: \usepackage{lipsum}
7694
#+LATEX_HEADER_EXTRA: \setlength{\footnotesep}{0.25em}
7795
#+LATEX_HEADER_EXTRA: \usepackage{amsmath}
7896
#+LATEX_HEADER_EXTRA: \usepackage[english]{babel}
7997
#+LATEX_HEADER_EXTRA: \usepackage[autostyle, english = american]{csquotes}
8098
#+LATEX_HEADER_EXTRA: \MakeOuterQuote{"}
99+
81100
#+LATEX_HEADER_EXTRA: \usepackage[style=numeric,url=true,backend=biber] {biblatex}
82101
#+LATEX_HEADER_EXTRA: \addbibresource{~/Documents/knowledgebase/documents/bibs/ml.bib}
83102
#+LATEX_HEADER_EXTRA: \addbibresource{~/Documents/knowledgebase/documents/bibs/ling.bib}
@@ -92,12 +111,14 @@
92111
#+LATEX_HEADER_EXTRA: \renewcommand{\tableofcontents}{}
93112
#+LATEX_HEADER_EXTRA: \usepackage{titlesec}
94113
#+LATEX_HEADER_EXTRA: \usepackage{titling}
114+
#+LATEX_HEADER_EXTRA: \titleformat{\section}{\normalfont\fontsize{12}{15}\bfseries}{\thesection}{1em}{}
115+
#+LATEX_HEADER_EXTRA:
116+
#+LATEX_HEADER_EXTRA: \titleformat{\subsection}{\normalfont\fontsize{10}{12}\bfseries}{\thesubsection}{1em}{}
117+
#+LATEX_HEADER_EXTRA: \titlespacing*{\section}{0pt}{3.5ex plus 1ex minus .2ex}{2.3ex plus .2ex}
118+
#+LATEX_HEADER_EXTRA: \titlespacing*{\subsection}{0pt}{3.25ex plus 1ex minus .2ex}{1.5ex plus .2ex}
95119
#+LATEX_HEADER_EXTRA: \makeatletter
96120
#+LATEX_HEADER_EXTRA: \renewcommand\maketitle{
97-
#+LATEX_HEADER_EXTRA: {\hspace{-12pt} \huge \textbf{\@title}} \\[0.5em] \theauthor\ \ \textit{\thedate} \\[5pt]
121+
#+LATEX_HEADER_EXTRA: {\huge \textbf{\@title}} \\[0.5em] \theauthor\ \ \ \textit{\thedate} \\[5pt]
98122
#+LATEX_HEADER_EXTRA: \thispagestyle{empty} % skip footer on first page
99-
#+LATEX_HEADER_EXTRA:}
100-
123+
#+LATEX_HEADER_EXTRA: \vspace{-0.5em}}
101124
#+LATEX_HEADER_EXTRA: \makeatother
102-
103-
#+LATEX_HEADER_EXTRA: \fancyfoot[R]{\theauthor}

0 commit comments

Comments
 (0)
Please sign in to comment.