From b6c90450081b3f5ab364ca3fe25927e50a482cba Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 21 Mar 2017 15:57:30 -0400 Subject: [PATCH] Add @exnotice to manual liza.css: Style exnotice macros.texi (@exnotice): Add macro. --- doc/liza.css | 6 ++++++ doc/macros.texi | 8 ++++++++ 2 files changed, 14 insertions(+) diff --git a/doc/liza.css b/doc/liza.css index 635de76..740e230 100644 --- a/doc/liza.css +++ b/doc/liza.css @@ -151,3 +151,9 @@ but don't sacrifice space on small screens. content: '\01F6A7'; margin-right: 0.5em; } + +/* "Example:" */ +.doc-notice.ex strong:first-child +{ + color: #657b83; +} diff --git a/doc/macros.texi b/doc/macros.texi index 6c32561..67e494a 100644 --- a/doc/macros.texi +++ b/doc/macros.texi @@ -97,3 +97,11 @@ @end html @end macro + + +@c simple textual example +@macro exnotice{text} +@noticestart{ex} +@strong{Example:} \text\ +@noticeend +@end macro