layout

yegor256 · Aug 10, 2023 · 0d8c47b · 0d8c47b
1 parent b36f9b9
commit 0d8c47b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/ppa.sty b/ppa.sty
@@ -32,7 +32,6 @@
 \RequirePackage{bussproofs}
   \def\extraVskip{12pt}
   \def\ruleScoreFiller{\hrule height 1pt}
-  % \def\proofSkipAmount{\vskip 6pt plus.8ex minus.4ex}
 \RequirePackage{bm}
 \RequirePackage{amsmath}
 \RequirePackage{amssymb}
@@ -42,7 +41,9 @@
 \RequirePackage{mathtools}
 \RequirePackage{to-be-determined}
 \RequirePackage{tikz}
-  \usetikzlibrary{positioning,calc,arrows.meta}
+  \usetikzlibrary{positioning}
+  \usetikzlibrary{calc}
+  \usetikzlibrary{arrows.meta}
 \RequirePackage{soul}
 \renewcommand\emph[1]{\ul{#1}}
 \tikzstyle{graph} = [