helm/style/config/style-configuration.xml

   1 <?xml version="1.0"?>
   2 <!DOCTYPE style-configuration SYSTEM "style-configuration.dtd">
   3
   4 <style-configuration>
   5   <style key="C1">rootcontent.xsl</style>
   6   <style key="C2">annotatedpres.xsl</style>
   7   <style key="T1">theory_content.xsl</style>
   8   <style key="T2">theory_pres.xsl</style>
   9
  10   <apply name="cic">
  11     <style-ref key="C1"/>
  12     <style-ref key="C2"/>
  13   </apply>
  14
  15   <apply name="theory">
  16     <style-ref key="T1"/>
  17     <style-ref key="T2"/>
  18   </apply>
  19 </style-configuration>