summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorg Zotti <Georg.Zotti@univie.ac.at>2023-02-26 23:34:39 +0100
committerGeorg Zotti <Georg.Zotti@univie.ac.at>2023-02-26 23:34:39 +0100
commite1234a51ee67ebb7b422e6dd25df4a78116e3c83 (patch)
tree18619617ee226312d65012c6c3968bf56d616760
parent916706aa6613728a90253597696cd6d831d84be6 (diff)
SUG: further cosmeticsdso/discovery
-rw-r--r--guide/StyleInd.ist2
1 files changed, 1 insertions, 1 deletions
diff --git a/guide/StyleInd.ist b/guide/StyleInd.ist
index 64b287db24..ffbaa7e372 100644
--- a/guide/StyleInd.ist
+++ b/guide/StyleInd.ist
@@ -1,4 +1,4 @@
delim_0 "\\dotfill\ "
delim_1 "\\dotfill\ "
headings_flag 1
-heading_prefix "\\nopagebreak\n\\tikz\\node at (0pt,0pt) [draw=none,fill=ocre!50,line width=1pt,inner sep=5pt]{\\parbox{\\linewidth-2\\fboxsep-4\\fboxrule-2pt}{\\centering\\large\\sffamily\\bfseries\\textcolor{white}{" heading_suffix "}}};\\vspace*{0.2cm}\\nopagebreak\n" \ No newline at end of file
+heading_prefix "\\nopagebreak\n\\tikz\\node at (0pt,0pt) [draw=none,fill=ocre!50,line width=1pt,inner sep=5pt]{\\parbox{\\linewidth-2\\fboxsep-4\\fboxrule-2.41pt}{\\centering\\large\\sffamily\\bfseries\\textcolor{white}{" heading_suffix "}}};\\vspace*{0.2cm}\\nopagebreak\n" \ No newline at end of file