% Generic lecture notes style
% Author: Frank Pfenning <fp@cs.cmu.edu>

\usepackage{microtype}
\usepackage{palatino}
\usepackage{amssymb}
\usepackage{proof}
\setlength{\inferLineSkip}{4pt}
\usepackage{fancyhdr}
\usepackage{comment}
\usepackage[breaklinks=true,
  colorlinks=true,
  citecolor=blue,
  linkcolor=blue,
  urlcolor=blue]{hyperref}
\usepackage{graphicx}
\usepackage{stmaryrd}

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

\addtolength{\oddsidemargin}{30pt}
\addtolength{\evensidemargin}{-22pt}

\newtheorem{theorem}{Theorem}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{exercise}{Exercise}

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

\newcommand{\highlight}[1]{\par%\vspace{1ex}%
\framebox{\addtolength{\linewidth}{-1em}\begin{minipage}{\linewidth}#1\end{minipage}}}
%\vspace{1ex}

\title{Lecture Notes on \\ \lectitle}
\author{\course \\ \lecturer}
\date{Lecture \lecnum\\ \lecdate}

\setlength{\headheight}{15pt}
\pagestyle{fancyplain}

\lhead[\fancyplain{}{\bfseries L\lecnum.\thepage}]%
      {\fancyplain{}{\bfseries\lectitle}}
\chead[]{}
\rhead[\fancyplain{}{\bfseries\lectitle}]%
      {\fancyplain{}{\bfseries L\lecnum.\thepage}}
\lfoot[{\small\scshape Lecture Notes}]{{\small\scshape Lecture Notes}}
\cfoot[]{}
\rfoot[{\small\scshape\lecdate}]{{\small\scshape\lecdate}}
