diff --git a/docs/iris.sty b/docs/iris.sty
index 3b698bb1b80ff3e85f2825d80612c38e02785a3d..a07543fdb8143c6bf82629796b3d8f79efa7c8b1 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -10,18 +10,11 @@
 \RequirePackage{xstring}
 \RequirePackage{mathtools}
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%% SETUP
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-
 \usetikzlibrary{shapes}
 %\usetikzlibrary{snakes}
 \usetikzlibrary{arrows}
 \usetikzlibrary{calc}
 \usetikzlibrary{arrows.meta}
-\tikzstyle{state}=[circle, draw, minimum size=1.2cm, align=center]
-\tikzstyle{trans}=[arrows={->[scale=1.4]}]
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% MATH SYMBOLS & NOTATION & IDENTIFIERS