
\renewcommand{\Scribtexttt}[1]{{\texttt{\textbf{#1}}}}

\newcommand{\latexName}[1]{\LaTeX}
\newcommand{\slatexName}[1]{S\LaTeX}

\newenvironment{Minipage}{\begin{minipage}{\linewidth}}{\end{minipage}}

\newenvironment{LPminipage}{\begin{minipage}[t]{0.6\linewidth} \parskip=6pt}{\end{minipage}}

\newcommand{\NextLine}[1]{\\}
\newcommand{\NoIndent}[1]{\noindent #1}

\usepackage{framed}

\newenvironment{Nested}{\begin{framed}\parindent=0pt
\begin{minipage}{\linewidth}\parskip=10pt\parindent=0pt\topsep=-8pt\itemsep=2pt\begin{small}}{\end{small}\end{minipage}\end{framed}}
\newenvironment{NestedInside}{}{}

\newenvironment{CodeBlock}{\begin{SingleColumn}
~\vspace{-0.7ex}

\begin{small}}{\end{small}\vspace{-0.7ex}

~\end{SingleColumn}}

\newcommand{\Attribution}[1]{\vspace{-2ex}\begin{flushright}#1\end{flushright}}

\newenvironment{HTMLAuthors}{}{} % drop

\newenvironment{BNF}{\vspace{1ex}}{\vspace{1ex}}

\newcommand{\Half}[1]{\begin{minipage}[c]{\linewidth}\begin{tabbing}#1\end{tabbing}\end{minipage}}

\newcommand{\Tighten}[1]{\vspace{-.18in}}