import re, os, sys
from useful import *

P = re.compile("\\begin{verbatim}.*?\\end{verbatim}", re.DOTALL)

def smalltt(ifile="notes-14-08-2017.tex", out=sys.stdout):
    with safeout(out) as write:
        write(P.sub(r"{\small\g<0>}", open(ifile).read()))

da59e7398a25faefb1e0d127da72567d7b53c7cb
<mask token>

<mask token>


def smalltt(ifile='notes-14-08-2017.tex', out=sys.stdout):
    with safeout(out) as write:
        write(P.sub('{\\small\\g<0>}', open(ifile).read()))

<mask token>
P = re.compile('\\begin{verbatim}.*?\\end{verbatim}', re.DOTALL)


def smalltt(ifile='notes-14-08-2017.tex', out=sys.stdout):
    with safeout(out) as write:
        write(P.sub('{\\small\\g<0>}', open(ifile).read()))

import re, os, sys
from useful import *
P = re.compile('\\begin{verbatim}.*?\\end{verbatim}', re.DOTALL)


def smalltt(ifile='notes-14-08-2017.tex', out=sys.stdout):
    with safeout(out) as write:
        write(P.sub('{\\small\\g<0>}', open(ifile).read()))

import re, os, sys
from useful import *

P = re.compile("\\begin{verbatim}.*?\\end{verbatim}", re.DOTALL)

def smalltt(ifile="notes-14-08-2017.tex", out=sys.stdout):
    with safeout(out) as write:
        write(P.sub(r"{\small\g<0>}", open(ifile).read()))
