text/style.sty
changeset 283 c4d821c6309d
equal deleted inserted replaced
282:bfab5aded21d 283:c4d821c6309d
       
     1 \usepackage{xcolor}
       
     2 %%\usepackage{fontspec}
       
     3 \usepackage[sc]{mathpazo}
       
     4 \usepackage{fontspec}
       
     5 \setmainfont[Ligatures=TeX]{Palatino Linotype}
       
     6 \usepackage{amssymb}
       
     7 \usepackage{amsmath}
       
     8 \usepackage{menukeys}
       
     9 \definecolor{darkblue}{rgb}{0,0,0.6}
       
    10 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
       
    11 
       
    12 %%% for regular expressions and values
       
    13 \newcommand{\ZERO}{\mbox{\bf 0}}
       
    14 \newcommand{\ONE}{\mbox{\bf 1}}
       
    15 \newcommand{\Left}{\textit{Left}}
       
    16 \newcommand{\Der}{\textit{Der}}
       
    17 \newcommand{\der}{\textit{der}}
       
    18 \newcommand{\Ders}{\textit{Ders}}
       
    19 \newcommand{\ders}{\textit{ders}}
       
    20 
       
    21 %%% for trees
       
    22 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
       
    23 
       
    24 \newcommand\grid[1]{%
       
    25 \begin{tikzpicture}[baseline=(char.base)]
       
    26   \path[use as bounding box]
       
    27     (0,0) rectangle (1em,1em);
       
    28   \draw[red!50, fill=red!20]
       
    29     (0,0) rectangle (1em,1em);
       
    30   \node[inner sep=1pt,anchor=base west]
       
    31     (char) at (0em,\gridraiseamount) {#1};
       
    32 \end{tikzpicture}}
       
    33 \newcommand\gridraiseamount{0.12em}
       
    34 
       
    35 \makeatletter
       
    36 \newcommand\Grid[1]{%
       
    37   \@tfor\z:=#1\do{\grid{\z}}}
       
    38 \makeatother	
       
    39 
       
    40 \newcommand\Vspace[1][.3em]{%
       
    41   \mbox{\kern.06em\vrule height.3ex}%
       
    42   \vbox{\hrule width#1}%
       
    43   \hbox{\vrule height.3ex}}
       
    44 
       
    45 \def\VS{\Vspace[0.6em]}
       
    46 
       
    47 
       
    48 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
       
    49 \newcommand{\defn}[1]{\textit{\textbf{#1}}}
       
    50 \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
       
    51 
       
    52 \definecolor{codegray}{gray}{0.9}
       
    53 
       
    54 \makeatletter
       
    55 \def\fnote{\gdef\@thefnmark{}\@footnotetext}
       
    56 \makeatother
       
    57 
       
    58 \newcommand{\HEADER}{{\bf Please submit your solutions via email. Please submit 
       
    59 only ASCII text or PDFs. Every solution should be preceeded by the corresponding 
       
    60 question text, like:
       
    61 
       
    62 \begin{center}
       
    63 \begin{tabular}{ll}
       
    64 Q$n$: & \ldots a difficult question from me\ldots\\
       
    65 A:    & \ldots an answer from you \ldots\\
       
    66 Q$n+1$ & \ldots another difficult question\ldots\\
       
    67 A:     & \ldots another brilliant answer from you\ldots
       
    68 \end{tabular}
       
    69 \end{center}
       
    70 
       
    71 \noindent Solutions will only be accepted until 20th December! Please send only
       
    72 one homework per email.}\bigskip}
       
    73 
       
    74 \newcommand{\POSTSCRIPT}{
       
    75 {\bf (Optional)} This question is for you to provide 
       
    76 regular feedback to me: for example
       
    77 what were the most interesting, least interesting, or confusing 
       
    78 parts in this lecture? Any problems with my Scala code? Please 
       
    79 feel free to share any other questions or concerns.}