Minor tweak.

diff --git a/man/custom.texi b/man/custom.texi
index 3b0daf701b31c259fa92ca8d5ec96c36d80938fa..f71a0353f50b4bd1887143e815ea7b8c93bf51a9 100644 (file)
--- a/man/custom.texi
+++ b/man/custom.texi
@@ -687,15 +687,14 @@ and easily between various collections of settings, and to transfer
 such collections from one computer to another.
 
 @findex customize-create-theme
-  To define a Custom theme, use the command @kbd{M-x
-customize-create-theme}, which brings up a buffer named @samp{*New
-Custom Theme*}.  At the top of the buffer is an editable field where
-you can specify the name of the theme.  Click on the button labelled
-@samp{Insert Variable} to add a variable to the theme, and click on
-@samp{Insert Face} to add a face.  You can edit these values in the
-@samp{*New Custom Theme*} buffer like in an ordinary Customize buffer.
-To remove an option from the theme, click on its @samp{State} button
-and select @samp{Delete}.
+  To define a Custom theme, use @kbd{M-x customize-create-theme},
+which brings up a buffer named @samp{*New Custom Theme*}.  At the top
+of the buffer is an editable field where you can specify the name of
+the theme.  Click on the button labelled @samp{Insert Variable} to add
+a variable to the theme, and click on @samp{Insert Face} to add a
+face.  You can edit these values in the @samp{*New Custom Theme*}
+buffer like in an ordinary Customize buffer.  To remove an option from
+the theme, click on its @samp{State} button and select @samp{Delete}.
 
 @vindex custom-theme-directory
   After adding the desired options, click on @samp{Save Theme} to save
@@ -707,7 +706,7 @@ directory by setting @code{custom-theme-directory}.
   You can view and edit the settings of a previously-defined theme by
 clicking on @samp{Visit Theme} and specifying the theme name.  You can
 also import the variables and faces that you have set using Customize
-by visiting the ``special'' theme named @var{user}.  This theme, which
+by visiting the ``special'' theme named @samp{user}.  This theme, which
 records all the options that you set in the ordinary customization
 buffer, is always enabled, and always takes precedence over all other
 enabled Custom themes.  Additionally, the @samp{user} theme is