# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1136259409 0
# Node ID 121a9a222aab7bc235f7a535a1b7179f3a02068f
# Parent  ac2f62182b947beb869f3abae5911fd445c4edc5
Minor tweak.

diff -r ac2f62182b94 -r 121a9a222aab man/custom.texi
--- a/man/custom.texi	Tue Jan 03 03:34:21 2006 +0000
+++ b/man/custom.texi	Tue Jan 03 03:36:49 2006 +0000
@@ -706,7 +706,7 @@
   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