ditem

--- a/doc-src/Codegen/style.sty	Fri Aug 13 13:43:55 2010 +0200
+++ b/doc-src/Codegen/style.sty	Fri Aug 13 13:43:55 2010 +0200
@@ -15,6 +15,7 @@
 
 %% typographic conventions
 \newcommand{\qt}[1]{``{#1}''}
+\newcommand{\ditem}[1]{\item[\isastyletext #1]}
 
 %% verbatim text
 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}