annotate dottes.tex.section-firstlines @ 659:763c6916cc7d build-default-259

Remove old Windows Media Player embedded object for playing audio. We're in the world of HTML5 now. And Firefox has started playing tunes on page download.
author Jim Hague <jim.hague@acm.org>
date Sun, 05 Feb 2017 22:51:30 +0000
parents 507d853433ef
children b45a87f4ccdb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
601
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
1 \section{@SECTION@ tunes}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
2
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
3 {\renewcommand{\arraystretch}{2.5}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
4 \setlength\LTleft{0pt}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
5 \setlength\LTright{\fill}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
6 \begin{longtable}{@{}>{\raggedright\arraybackslash}m{0.2\textwidth}r@{}}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
7 \input{@SECTION@-firstlines.tex}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
8 \end{longtable}
507d853433ef Create a section title page in the print version.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
9 }