<?xml version="1.0" encoding="ISO-8859-1"?>
<xsl:stylesheet version="1.0"
  xmlns:xsl="http://www.w3.org/1999/XSL/Transform">

<!--
  Stylesheet for DAML-Time spec
  Time-stamp: <Thu Sep  5 20:54:44 EDT 2002 ferguson>
-->

<xsl:template match="document">
  <html>
  <head>
   <title>
    <xsl:value-of select="title"/>
   </title>
  </head>
 <style type="text/css">
  body {
    color: black;
    background-color: white;
    margin-left: 10%;
    margin-right: 10%;
    font-family: serif;
    text-align: justify;
  }
  hl { display: block; margin-left: 3em; }
  hl li { display: block; text-indent: -1.5em; }
  reference {
    display: block;
    margin-left: 1.5em;
    text-indent: -1.5em;
    margin-top: 1.33em;
  }
  q { quotes: "\201C" "\201D" "\2018" "\2019" }
 </style>
  <body>
   <xsl:apply-templates/>
  </body>
  </html>
</xsl:template>

<xsl:template match="document/title">
  <center>
   <h1><xsl:apply-templates/></h1>
  </center>
</xsl:template>

<xsl:template match="document/author">
  <center>
   <h2><xsl:apply-templates/></h2>
  </center>
</xsl:template>

<xsl:template match="document/contributors">
  <center>
   <b>with contributions from</b>
   <p/>
   <h2><xsl:apply-templates/></h2>
  </center>
</xsl:template>

<xsl:template match="document/date">
  <center>
   <h2><xsl:apply-templates/></h2>
  </center>
</xsl:template>

<xsl:template match="section/title">
  <center>
   <h2><xsl:apply-templates/></h2>
  </center>
</xsl:template>

<xsl:template match="subsection/title">
   <h3><xsl:apply-templates/></h3>
</xsl:template>

<xsl:template match="subsubsection/title">
   <p><b><xsl:apply-templates/></b></p>
</xsl:template>

<xsl:template match="axiom">
  <table width="100%">
   <tr>
    <td width="90%"><pre><xsl:value-of select="."/></pre></td>
    <td width="10%" align="right"><xsl:text>(</xsl:text><xsl:value-of select="@id"/><xsl:text>)</xsl:text></td>
   </tr>
  </table>
</xsl:template>

<xsl:template match="formula">
  <table width="100%">
   <tr>
    <td width="90%"><pre><xsl:value-of select="."/></pre></td>
    <td width="10%" align="right"></td>
   </tr>
  </table>
</xsl:template>

<xsl:template match="reference">
  <reference><xsl:apply-templates/></reference>
</xsl:template>

<!-- XHTML-like entities -->

<xsl:template match="p">
 <p><xsl:apply-templates/></p>
</xsl:template>

<xsl:template match="hl">
  <hl>
  <xsl:apply-templates/>
  </hl>
</xsl:template>

<xsl:template match="li">
  <li><xsl:apply-templates/></li>
</xsl:template>

<xsl:template match="em">
  <em><xsl:apply-templates/></em>
</xsl:template>

<xsl:template match="q">
  <q><xsl:apply-templates/></q>
</xsl:template>

</xsl:stylesheet>

<!-- Local Variables: -->
<!-- mode: sgml       -->
<!-- End:             -->
