Some files to build the HTML version of the paper.
This commit is contained in:
mainzelm
parent
0b35dbbe2f
commit
026c29842f
|
|
@ -0,0 +1 @@
|
||||||
|
html
|
||||||
|
|
@ -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
|
||||||
|
|
@ -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
|
||||||
|
|
@ -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<div align=right><table ><tr><td><em>
|
||||||
|
\endrawhtml
|
||||||
|
#1
|
||||||
|
\rawhtml</em><br>\endrawhtml
|
||||||
|
~~~~~~---#2
|
||||||
|
\rawhtml</td></tr></table></div>\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}}
|
||||||
|
}
|
||||||
Loading…
Reference in New Issue