% begin palatino.sty
% copied from palatino.sty, except left ttdefault as CMTT
\renewcommand{\rmdefault}{ppl}
\renewcommand{\sfdefault}{phv}
% \renewcommand{\ttdefault}{pcr}
% end palatino.sty

\usepackage{amssymb}
\usepackage{amsmath}

% \usepackage{proof}
% \setlength{\inferLineSkip}{4pt}

% \usepackage{code}
% For code environment
% \newcommand{\blankline}{\mbox{}} % for \begin{code}...\end{code}
% \renewcommand{\_}{\char`\_}
% \renewcommand{\{}{\char`\{}
% \renewcommand{\}}{\char`\}}

\usepackage[breaklinks=true,
  colorlinks=true,
  citecolor=blue,
  linkcolor=blue,
  urlcolor=blue]{hyperref}

\title{Assignment \assnum: \asstitle}
\author{15-411/611: Course Staff}
\date{Due \assdate}

% copied from fullpage.sty
\setlength{\headheight}{14pt}  % min 14pt for fancyhdr package
\newlength{\truesidemargin}
\setlength{\truesidemargin}{1.25in}
\newlength{\truetopmargin}
\setlength{\truetopmargin}{1in}

\setlength{\textwidth}{\paperwidth}
\addtolength{\textwidth}{-2\truesidemargin}
\setlength{\oddsidemargin}{\truesidemargin}
\addtolength{\oddsidemargin}{-1in}
\setlength{\evensidemargin}{\oddsidemargin}
\setlength{\topmargin}{\truesidemargin}
\setlength{\textheight}{\paperheight}
\addtolength{\textheight}{-\headheight}
\addtolength{\textheight}{-\headsep}
\addtolength{\textheight}{-2\truetopmargin}
\setlength{\topmargin}{\truetopmargin}
\addtolength{\topmargin}{-\headheight} % for fancyhdr
\addtolength{\topmargin}{-1in}

\usepackage{fancyhdr}
\pagestyle{fancyplain}

\lhead[\fancyplain{}{\bfseries A\assnum.\thepage}]%
      {\fancyplain{}{\bfseries\asstitle}}
\chead[]{}
\rhead[\fancyplain{}{\bfseries\asstitle}]%
      {\fancyplain{}{\bfseries A\assnum.\thepage}}
\lfoot[{\small\scshape Assignment \assnum}]{{\small\scshape Assignment \assnum}}
\cfoot[]{}
\rfoot[{\small\scshape\assdate}]{{\small\scshape\assdate}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Environments
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newtheorem{exercise}{Exercise}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}[theorem]{Definition}

\newenvironment{proof}{\trivlist \item[\hskip \labelsep{\bf
Proof:}]}{\hfill$\Box$ \endtrivlist}
\newenvironment{attempt}{\trivlist \item[\hskip \labelsep{\bf
Proof attempt:}]}{\hfill$\Diamond$ \endtrivlist}

\newcommand{\ednote}[1]{\footnote{\it #1}\message{ednote!}}
\newenvironment{note}{\begin{quote}\message{note!}\it}{\end{quote}}
\newcommand{\highlight}[1]{\par%\vspace{1ex}%
\framebox{\addtolength{\linewidth}{-1em}\begin{minipage}{\linewidth}#1\end{minipage}}}
%\vspace{1ex}
