You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
that make use of remarks that could be nicely wrapped in admonitions, however the style is currently overly bold in sphinx-proof and gives too much weight to the contents.
There are lectures such as #440 (comment)
that make use of
remarks
that could be nicely wrapped in admonitions, however the style is currently overly bold insphinx-proof
and gives too much weight to the contents.Once executablebooks/sphinx-proof#98 is resolved we can loop through and add the admonitions to this lecture series.
The text was updated successfully, but these errors were encountered: