We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 99f3657 + 1d6291d commit f638c7fCopy full SHA for f638c7f
1 file changed
docs/source/options.md
@@ -48,7 +48,7 @@ You can customize the title format using the `proof_title_format` option:
48
- A value of an empty string will result in no title being displayed.
49
- A `markdown` string can be used to format the title.
50
- For example, ` *%t*` will emphasize the title and contain no brackets.
51
-
+
52
Note that the initial part of the title (i.e., `Name x.y.z`) is not customizable and will always be displayed.
53
54
The font weight of the title can be adjusted using the `proof_title_weight` option:
0 commit comments