src/TeXmacs/packages/example/framed-envs.ts

   1 <TeXmacs|1.0.7.5>
   2
   3 <style|source>
   4
   5 <\body>
   6   <active*|<\src-title>
   7     <src-package|framed-envs|1.0>
   8
   9     <\src-purpose>
  10       An example style package for fancy frames around environments.
  11     </src-purpose>
  12
  13     <src-copyright|2007|Joris van der Hoeven>
  14
  15     <\src-license>
  16       This software falls under the <hlink|GNU general public license,
  17       version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
  18       WARRANTY WHATSOEVER. You should have received a copy of the license
  19       which the software. If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
  20     </src-license>
  21   </src-title>>
  22
  23   <\active*>
  24     <\src-comment>
  25       Framed sections
  26     </src-comment>
  27   </active*>
  28
  29   <assign|unframed-chapter-title|<value|chapter-title>>
  30
  31   <assign|unframed-section-title|<value|section-title>>
  32
  33   <assign|unframed-subsection-title|<value|subsection-title>>
  34
  35   <assign|unframed-subsubsection-title|<value|subsubsection-title>>
  36
  37   <assign|chapter-title|<macro|x|<unframed-chapter-title|<wide-std-framed-colored|dark
  38   grey|pastel red|>>>>
  39
  40   <assign|section-title|<macro|x|<unframed-section-title|<wide-std-framed-colored|dark
  41   grey|pastel red|<arg|x>>>>>
  42
  43   <assign|subsection-title|<macro|x|<unframed-subsection-title|<wide-std-framed-colored|dark
  44   grey|pastel orange|<arg|x>>>>>
  45
  46   <assign|subsubsection-title|<macro|x|<unframed-subsubsection-title|<wide-std-framed-colored|dark
  47   grey|pastel orange|<arg|x>>>>>
  48
  49   <\active*>
  50     <\src-comment>
  51       Framed theorems
  52     </src-comment>
  53   </active*>
  54
  55   <assign|unframed-render-enunciation|<value|render-enunciation>>
  56
  57   <assign|render-enunciation|<\macro|which|body>
  58     <\padded-normal|1fn|1fn>
  59       <\wide-std-framed-colored|dark blue|pastel yellow>
  60         <\unframed-render-remark|<arg|which>>
  61           <arg|body>
  62         </unframed-render-remark>
  63       </wide-std-framed-colored>
  64     </padded-normal>
  65   </macro>>
  66
  67   \;
  68 </body>
  69
  70 <\initial>
  71   <\collection>
  72     <associate|preamble|true>
  73   </collection>
  74 </initial>