From 026c29842f498afd3c5a8aa8124f0cedfc71c673 Mon Sep 17 00:00:00 2001 From: mainzelm Date: Tue, 7 May 2002 09:35:57 +0000 Subject: [PATCH] Some files to build the HTML version of the paper. --- doc/scsh-paper/.tex2page.hdir | 1 + doc/scsh-paper/css.t2p | 105 ++++++++++++++++++++++++++++++++++ doc/scsh-paper/headings.tex | 16 ++++++ doc/scsh-paper/scsh-paper.t2p | 97 +++++++++++++++++++++++++++++++ 4 files changed, 219 insertions(+) create mode 100644 doc/scsh-paper/.tex2page.hdir create mode 100644 doc/scsh-paper/css.t2p create mode 100644 doc/scsh-paper/headings.tex create mode 100644 doc/scsh-paper/scsh-paper.t2p diff --git a/doc/scsh-paper/.tex2page.hdir b/doc/scsh-paper/.tex2page.hdir new file mode 100644 index 0000000..724f4d4 --- /dev/null +++ b/doc/scsh-paper/.tex2page.hdir @@ -0,0 +1 @@ +html \ No newline at end of file diff --git a/doc/scsh-paper/css.t2p b/doc/scsh-paper/css.t2p new file mode 100644 index 0000000..7c1fcee --- /dev/null +++ b/doc/scsh-paper/css.t2p @@ -0,0 +1,105 @@ +% css.t2p +% Dorai Sitaram +% 19 Jan 2001 +% A basic style for HTML documents generated +% with tex2page. + +\cssblock + +body { + color: black; + background-color: #e5e5e5; +/*background-color: beige;*/ + margin-top: 2em; + margin-left: 8%; + margin-right: 8%; +} + +h1,h2,h3,h4,h5,h6 { + margin-top: .5em; +} + +.partheading { + font-size: 70%; +} + +.chapterheading { + font-size: 70%; +} + +pre { + margin-left: 2em; +} + +ol { + list-style-type: decimal; +} + +ol ol { + list-style-type: lower-alpha; +} + +ol ol ol { + list-style-type: lower-roman; +} + +ol ol ol ol { + list-style-type: upper-alpha; +} + +.scheme { + color: brown; +} + +.scheme .keyword { + color: #990000; + font-weight: bold; +} + +.scheme .builtin { + color: #990000; +} + +.scheme .variable { + color: navy; +} + +.scheme .global { + color: purple; +} + +.scheme .selfeval { + color: green; +} + +.scheme .comment { + color: teal; +} + +.navigation { + color: red; + text-align: right; + font-style: italic; +} + +.disable { + /* color: #e5e5e5; */ +color: gray; +} + +.smallcaps { +font-size: 75%; +} + +.smallprint { + color: gray; + font-size: 75%; + text-align: right; +} + +.smallprint hr { + text-align: left; + width: 40%; +} + +\endcssblock \ No newline at end of file diff --git a/doc/scsh-paper/headings.tex b/doc/scsh-paper/headings.tex new file mode 100644 index 0000000..c928f58 --- /dev/null +++ b/doc/scsh-paper/headings.tex @@ -0,0 +1,16 @@ +% headings.tex -*- latex -*- +% Quieter headings that the ones used in article.sty. +% This is not a style option. Don't say [headings]. +% Instead, say \input{headings} after the \documentstyle. +% -Olin 7/91 + +\makeatletter + +\def\section{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus + -.2ex}{2.3ex plus .2ex}{\large\normalfont\bfseries}} +\def\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex plus -1ex minus + -.2ex}{1.5ex plus .2ex}{\normalsize\normalfont\bfseries}} +\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus +-1ex minus -.2ex}{1.5ex plus .2ex}{\normalsize\normalfont\bfseries}} + +\makeatother diff --git a/doc/scsh-paper/scsh-paper.t2p b/doc/scsh-paper/scsh-paper.t2p new file mode 100644 index 0000000..8dc5ef2 --- /dev/null +++ b/doc/scsh-paper/scsh-paper.t2p @@ -0,0 +1,97 @@ +% scsh-paper.t2p +% Dorai Sitaram +% Feb 6, 2000 + +% This file contains the tex2page macros needed to process +% the scsh LaTeX document scsh-n.n.n/doc/scsh-paper.tex. +% Copy (or link) this file alongside scsh-paper.tex and run +% tex2page scsh-paper + +\input css.t2p +\dontuseimgforhtmlmath + +\let\clearpage\relax +\let\cleardoublepage\relax +\let\pagebreak\relax + +\let\PRIMsection\section + +%\let\PRIMtableofcontents\tableofcontents +%\def\tableofcontents{\section*{Contents}\PRIMtableofcontents} + +\def\notenum#1{\def\savenotenum{#1}} +\def\project#1{\def\saveproject{#1}} +%\let\PRIMtitle\title +%\def\title#1{\PRIMtitle{#1}\def\savetitle{#1}} +%\def\author#1{\def\saveauthor{#1}} +%\def\date#1{\def\savedate{#1}} + +\def\maketitle{ +\leftline{\sc massachusetts institute of technology} +\smallskip +\centerline{Laboratory for Computer Science} +\smallskip +\leftline{\saveproject\ Note \savenotenum\ \qquad \TIIPdate} +\hr +\subject{\TIIPtitle} +\smallskip +{\def\\{\egroup\break\bgroup} +\centerline{\bf\TIIPauthor}} +\smallskip +\bigskip +\bigskip} + +\let\PRIMfigure\figure +\let\PRIMendfigure\endfigure + +\def\figure{\par\hrule\PRIMfigure} +\def\endfigure{\PRIMendfigure\hrule\par} + +\let\PRIMdocument\document + +\def\document{\PRIMdocument +\def\headingquote#1#2{\eject +\rawhtml
+\endrawhtml +#1 +\rawhtml
\endrawhtml +~~~~~~---#2 +\rawhtml
\endrawhtml} + +\def\section{\def\section{\vfill\eject\PRIMsection}% +\PRIMsection} + +\let\ttchars\relax +\let\ttt\tt +\def\cd#1{{\tt\def\\{\char`\\}\defcsactive\${\char`\$}\defcsactive\&{\char`\&}#1}} +\def\cddollar{\undefcsactive\$} +\def\ex#1{{\tt #1}} +\def\l#1{lambda (#1)} +\def\lx#1{lambda {#1}} +\def\var#1{{\it #1\/}} +\def\vari#1#2{\mbox{{\it #1\/}\undefcsactive\$$_{#2}$}} + +\renewcommand{\proto}[3]{{\tt(#1 {\it #2})} \qquad (#3)} + +\def\setupcode{\tt% +\def\\{\char`\\}% +\defcsactive\${\$}% +\def\evalto{==> }% +\defcsactive\%{\%}\obeywhitespace} + +\newenvironment{code}{\begin{quote}\bgroup\setupcode\GOBBLEOPTARG} +{\egroup\end{quote}} + +\newenvironment{codebox}{\begin{tableplain}\bgroup\setupcode\GOBBLEOPTARG} +{\egroup\end{tableplain}} + +\newenvironment{tightcode}{\begin{code}}{\end{code}} + +\renewenvironment{inset}{\begin{quote}}{\end{quote}} +\renewenvironment{leftinset}{\begin{quote}}{\end{quote}} +\renewenvironment{tightinset}{\begin{quote}}{\end{quote}} +\newenvironment{tightleftinset}{\begin{quote}}{\end{quote}} + +\renewenvironment{column}{\end{center}\bgroup\let\\\break} +{\egroup\begin{center}} +}