From 7aa32b41d7a1a583d7499fc4070c0ebd6a20746e Mon Sep 17 00:00:00 2001 From: arjen Date: Tue, 19 Aug 2003 06:33:19 +0000 Subject: [PATCH] Added element for description lists --- doc.dtd | 10 ++++++++-- html.xsl | 25 +++++++++++++++++++++++-- latex.xsl | 17 ++++++++++++++++- 3 files changed, 47 insertions(+), 5 deletions(-) diff --git a/doc.dtd b/doc.dtd index 72da6bf..a5e83e9 100644 --- a/doc.dtd +++ b/doc.dtd @@ -1,6 +1,6 @@ - + - + + + @@ -66,6 +70,8 @@ name ID #REQUIRED > + + - + +
+ +
+
+ + +
  • + +
  • +
    + +
  • + +
    +
    + +
    +
    + #footnote @@ -274,10 +293,12 @@ + + # - + diff --git a/latex.xsl b/latex.xsl index 4e99d0b..566bb4b 100644 --- a/latex.xsl +++ b/latex.xsl @@ -149,10 +149,24 @@ \end{enumerate}
    - + +\begin{description} + +\end{description} + + + +\item + + + \item + +\item[] + + \footnote{} \begin{itshape}\end{itshape} @@ -197,6 +211,7 @@ \label{} + \ref{} \pageref{} -- 2.20.1