Updates to the memory consistency model spec

This giant patch is the result of months of work from a lot of
different people in the memory model TG.

1 files changed, 9 insertions, 11 deletions

diff --git a/src/preamble.tex b/src/preamble.tex
index a2ad459..49f8019 100644
--- a/src/preamble.tex
+++ b/src/preamble.tex
@@ -4,12 +4,15 @@
 \usepackage{geometry}
 \usepackage{array}
 \usepackage{colortbl}
-\usepackage[hidelinks]{hyperref}
+\usepackage[svgnames]{xcolor}
+
+% make links more readable, as they occur often in the op model
+%\usepackage{hyperref}
+\usepackage[colorlinks,citecolor=DarkGreen,linkcolor=DarkGreen]{hyperref}
 \usepackage{placeins}
 \usepackage{longtable}
 \usepackage{multirow}
 \usepackage{float}
-\usepackage{xcolor}
 \usepackage{listings}
 \usepackage{comment}
 \usepackage{enumitem}
@@ -49,19 +52,14 @@
 
 % Custom list environments
 
-\newenvironment{tightlist}
-{\begin{itemize}
- \setlength{\parsep}{0pt}
- \setlength{\itemsep}{-2pt}}
-{\end{itemize}}
+\newlist{tightlist}{itemize}{1}
+\setlist[tightlist]{label=\textbullet,nosep}
 
 \newenvironment{titledtightlist}[1]
 {\noindent
  ~~\textbf{#1}
- \begin{itemize}
- \setlength{\parsep}{0pt}
- \setlength{\itemsep}{-2pt}}
-{\end{itemize}}
+ \begin{tightlist}}
+{\end{tightlist}}
 
 \newenvironment{commentary}
 { \vspace{-0.2in}