# 
# 
# patch "monotone.texi"
#  from [cc1531e4d7a48c6b346924e6091e7e08790bfca2]
#    to [118d7d6cd69525944cc0a1ffc7b7e2b122c0be6a]
# 
# patch "texinfo.css"
#  from [0b92114458ba406a9c2725ce60a75786b905e6c4]
#    to [875ac0427e05332b13348ed5a41a6926fc8401d6]
# 
============================================================
--- monotone.texi	cc1531e4d7a48c6b346924e6091e7e08790bfca2
+++ monotone.texi	118d7d6cd69525944cc0a1ffc7b7e2b122c0be6a
@@ -3702,8 +3702,8 @@ @heading Undoing Changes
 @command{revert} insists on an explicit argument to name the files or
 directories to be reverted; use the current directory "@file{.}" at the
 top of the workspace to revert everything.  The @command{revert} command
-is also used to restore deleted files (with a convenient @command{update
---missing} shortcut for naming these files).
+is also used to restore deleted files (with a convenient
address@hidden option for naming these files).
 
 In CVS, you would need to use @command{update} to restore missing or
 changed files, and you might get back a newer version of the file than
============================================================
--- texinfo.css	0b92114458ba406a9c2725ce60a75786b905e6c4
+++ texinfo.css	875ac0427e05332b13348ed5a41a6926fc8401d6
@@ -52,6 +52,25 @@ ul.menu li a
 	}
 
 
+span.command
+	{
+  		font-family: sans-serif;
+		font-weight: bold;
+	}
+
+span.option
+	{ 
+  		font-family: sans-serif;
+		font-weight: bold;
+		font-style: italic;
+	}
+
+span.file
+	{ 
+  		font-family: monospace;
+		color: #aa00aa;
+	}
+
 dt 
 	{ 
 		background-color: #eeeeee;