Margins in appendix.

artifact.tex

@@ -55,8 +55,8 @@ but are orthogonal to the content of the paper.
 Reproducing the proofs requires to pass agda/lagda files to
 the \texttt{agda} binary as follows:
 \begin{enumerate}
-    \item \texttt{agda model.lagda}
-    \item \texttt{agda proof.agda}
+    \item \texttt{\small agda model.lagda}
+    \item \texttt{\small agda proof.agda}
 \end{enumerate}
 
 
@@ -66,42 +66,42 @@ the \texttt{agda} binary as follows:
     \item Ensure all the dependencies listed in the check-list are installed.
     \item Clone the repository and enter the artifact directory
 
-          \texttt{\$ cd 2023-array/artifact}
+          \texttt{\small\$ cd 2023-array/artifact}
     \item Replace \texttt{\${HOME}/sac2c/build/sac2c\_d} in the Makefile with
           your build of the SaC compiler.
     \item \textbf{If using SLURM: } Replace the lines
 
-          \texttt{\#SBATCH --account=csmpi}
+          \texttt{\small\#SBATCH --account=csmpi}
 
-          \texttt{\#SBATCH --partition=csmpi\_fpga\_long}
+          \texttt{\small\#SBATCH --partition=csmpi\_fpga\_long}
 
           with your SLURM setup using \eg{}
 
-          \texttt{\$ sed -i 's/csmpi\_fpga\_long/PARTITION/g'  *.sh}
+          \texttt{\small\$ sed -i 's/csmpi\_fpga\_long/PARTITION/g'  *.sh}
 
-          \texttt{\$ sed -i 's/csmpi/ACCOUNT/g'  *.sh}
+          \texttt{\small\$ sed -i 's/csmpi/ACCOUNT/g'  *.sh}
     \item Build the binaries with \texttt{make} if not using SLURM, and
           \texttt{sbatch build.sh} is using SLURM.
     \item Run the following scripts, using \texttt{sbatch} only if using SLURM.
 
-          \texttt{\$ [sbatch] ./bench\_blis.sh 8640 10000 10000 1 32 10}
+          \texttt{\small\$ [sbatch] ./bench\_blis.sh 8640 10000 10000 1 32 10}
 
-          \texttt{\$ [sbatch] ./bench\_openblas.sh 8640 10000 10000 1 32 10}
+          \texttt{\small\$ [sbatch] ./bench\_openblas.sh 8640 10000 10000 1 32 10}
 
-          \texttt{\$ [sbatch] ./bench\_mkl.sh 8640 10000 10000 1 32 10}
+          \texttt{\small\$ [sbatch] ./bench\_mkl.sh 8640 10000 10000 1 32 10}
 
-          \texttt{\$ [sbatch] ./bench.sh 1 32 10}
+          \texttt{\small\$ [sbatch] ./bench.sh 1 32 10}
 
-          \texttt{\$ [sbatch] ./bench\_naive.sh 1 32 10}
+          \texttt{\small\$ [sbatch] ./bench\_naive.sh 1 32 10}
 
-          \texttt{\$ [sbatch] ./split.sh 1 32 10}
+          \texttt{\small\$ [sbatch] ./split.sh 1 32 10}
 
           If on a system with less or more than 32 cores, you can replace 32
           with your maximum number of cores.
 
     \item Build the graphs with
 
-          \texttt{\$ pdflatex graph.tex}
+          \texttt{\small\$ pdflatex graph.tex}
 
           The result will be in a pdf file \texttt{graph.pdf}.
 \end{enumerate}