src/TeXmacs/styles/elsevier/jsc.ts

   1 <TeXmacs|1.0.7.5>
   2
   3 <style|source>
   4
   5 <\body>
   6   <\active*>
   7     <\src-title>
   8       <src-style-file|jsc|1.0>
   9
  10       <\src-purpose>
  11         The jsc style (for the Journal of Symbolic Computation).
  12       </src-purpose>
  13
  14       <\src-copyright|2002--2004>
  15         Joris van der Hoeven
  16       </src-copyright>
  17
  18       <\src-license>
  19         This software falls under the <hlink|GNU general public license,
  20         version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
  21         WARRANTY WHATSOEVER. You should have received a copy of the license
  22         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>.
  23       </src-license>
  24     </src-title>
  25   </active*>
  26
  27   <use-package|elsart>
  28
  29   <active*|<\src-comment>
  30     Global layout.
  31   </src-comment>>
  32
  33   <assign|tex-odd-side-margin|<macro|<if|<equal|<value|par-columns>|1>|20pt|20pt>>>
  34
  35   <assign|tex-even-side-margin|<macro|<if|<equal|<value|par-columns>|1>|20pt|20pt>>>
  36
  37   <assign|tex-text-height|<macro|<if|<equal|<value|par-columns>|1>|47pc|47pc>>>
  38
  39   \;
  40
  41   <assign|font-base-size|10>
  42
  43   <assign|par-sep|<tex-len|2pt|1pt|0.5pt>>
  44
  45   <assign|par-par-sep|0pt>
  46
  47   <assign|par-first|1pc>
  48
  49   \;
  50
  51   <assign|tex-above-display-skip|<macro|<tex-len|6pt|1pt|1pt>>>
  52
  53   <assign|tex-below-display-skip|<macro|<tex-len|6pt|1pt|1pt>>>
  54
  55   <assign|tex-above-display-short-skip|<macro|<tex-len|0pt|2pt|0pt>>>
  56
  57   <assign|tex-below-display-short-skip|<macro|<tex-len|2pt|1pt|1pt>>>
  58
  59   <active*|<\src-comment>
  60     Sizes.
  61   </src-comment>>
  62
  63   <assign|tiny|<macro|x|<with|font-base-size|6|par-sep|1pt|<arg|x>>>>
  64
  65   <assign|very-small|<macro|x|<with|font-base-size|8|par-sep|2pt|<arg|x>>>>
  66
  67   <assign|small|<macro|x|<style-with|src-compact|none|<with|font-base-size|9|par-sep|2pt|tex-above-display-skip|<macro|<tex-len|5pt|2pt|1pt>>|tex-below-display-skip|<macro|<tex-len|5pt|2pt|1pt>>|tex-above-display-short-skip|<macro|<tex-len|0pt|2pt|0pt>>|tex-below-display-short-skip|<macro|<tex-len|2pt|1pt|1pt>>|<arg|x>>>>>
  68
  69   <assign|normal-size|<macro|x|<style-with|src-compact|none|<with|font-base-size|10|par-sep|<tex-len|2pt|1pt|0.5pt>|tex-above-display-skip|<macro|<tex-len|6pt|1pt|1pt>>|tex-below-display-skip|<macro|<tex-len|6pt|1pt|1pt>>|tex-above-display-short-skip|<macro|<tex-len|0pt|2pt|0pt>>|texs-below-display-short-skip|<macro|<tex-len|2pt|1pt|1pt>>|<arg|x>>>>>
  70
  71   <assign|large|<macro|x|<with|font-base-size|14|par-sep|4pt|<arg|x>>>>
  72
  73   <assign|larger|<macro|x|<with|font-base-size|17|par-sep|5pt|<arg|x>>>>
  74
  75   <assign|very-large|<macro|x|<with|font-base-size|20|par-sep|2pt|<arg|x>>>>
  76
  77   <assign|huge|<macro|x|<with|font-base-size|25|par-sep|2pt|<arg|x>>>>
  78
  79   <assign|really-huge|<macro|x|<huge|<arg|x>>>>
  80
  81   <active*|<\src-comment>
  82     Sectional macros.
  83   </src-comment>>
  84
  85   <assign|section-title|<macro|name|<surround||<yes-indent*>|<style-with|src-compact|none|<sectional-normal-bold|<vspace*|<tex-len|19pt|3pt|2pt>><normal-size|<arg|name>><vspace|<tex-len|8pt|3pt|2pt>>>>>>>
  86
  87   <assign|subsection-title|<macro|name|<surround||<yes-indent*>|<style-with|src-compact|none|<sectional-normal-bold|<vspace*|<tex-len|19pt|3pt|2pt>><normal-size|<arg|name>><vspace|<tex-len|8pt|3pt|2pt>>>>>>>
  88
  89   <assign|subsubsection-title|<macro|name|<surround||<yes-indent*>|<style-with|src-compact|none|<sectional-normal-italic|<vspace*|<tex-len|9pt|3pt|2pt>><normal-size|<arg|name>><vspace|<tex-len|1pt|2pt|1pt>>>>>>>
  90
  91   <assign|paragraph-title|<macro|name|<style-with|src-compact|none|<sectional-short-italic|<vspace*|<tex-len|9pt|3pt|2pt>><normal-size|<arg|name>><space|1em>>>>>
  92
  93   <assign|subparagraph-title|<macro|name|<style-with|src-compact|none|<sectional-short-italic|<vspace*|<tex-len|0pt|2pt|0pt>><normal-size|<arg|name>><space|1em>>>>>
  94
  95   <\active*>
  96     <\src-comment>
  97       List environments.
  98     </src-comment>
  99   </active*>
 100
 101   <assign|aligned-item|<macro|x|<style-with|src-compact|none|<vspace*|0.0fn><with|par-first|-25pt|<yes-indent>><resize|<arg|x>|r-20pt|||><hspace|5pt>>>>
 102
 103   <assign|render-list|<macro|body|<surround|<no-page-break*>|<right-flush><no-indent*>|<with|par-left|<plus|<value|par-left>|25pt>|par-par-sep|<tex-len|4.5pt|2pt|1pt>|<arg|body>>>>>
 104
 105   <\active*>
 106     <\src-comment>
 107       Hack for citations.
 108     </src-comment>
 109   </active*>
 110
 111   <assign|cite-raw-1|<macro|x|<cite-link|<arg|x>|<cite-author|<arg|x>>>,
 112   <cite-link|<arg|x>|<cite-year|<arg|x>>>>>
 113
 114   \;
 115 </body>
 116
 117 <\initial>
 118   <\collection>
 119     <associate|preamble|true>
 120     <associate|sfactor|7>
 121   </collection>
 122 </initial>