diff --git a/about.html b/about.html
index c7843e1..0c135f7 100644
--- a/about.html
+++ b/about.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a href="gateware.html">gateware</a></li>
 			<li><a href="video.html">video</a></li>
 			<li><a href="public_events.html">events</a></li>
diff --git a/artiq/extensions.html b/artiq/extensions.html
index 6abf1af..a9e00d0 100644
--- a/artiq/extensions.html
+++ b/artiq/extensions.html
@@ -6,7 +6,7 @@
     <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
     <title>ARTIQ: Advanced Real Time Infrastructure for Quantum physics &raquo; M-Labs</title>
-    
+
     <link rel="stylesheet" type="text/css" media="screen" href="../style.css" />
     <link rel="icon" type="image/png" href="../favicon.png" />
 
@@ -19,6 +19,7 @@
         <div id="logo"><a href="../index.html"><img src="../logo.png"></a></div>
         <ul id="menu">
             <li><a class="selected" href="index.html">artiq</a></li>
+            <li><a href="../solvespace/index.html">solvespace</a></li>
             <li><a href="../gateware.html">gateware</a></li>
             <li><a href="../video.html">video</a></li>
             <li><a href="../public_events.html">events</a></li>
diff --git a/artiq/index.html b/artiq/index.html
index c8a2112..2ed7412 100644
--- a/artiq/index.html
+++ b/artiq/index.html
@@ -6,7 +6,7 @@
     <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
     <title>ARTIQ: Advanced Real Time Infrastructure for Quantum physics &raquo; M-Labs</title>
-    
+
     <link rel="stylesheet" type="text/css" media="screen" href="../style.css" />
     <link rel="icon" type="image/png" href="../favicon.png" />
 
@@ -21,6 +21,7 @@
         <div id="logo"><a href="../index.html"><img src="../logo.png"></a></div>
         <ul id="menu">
             <li><a class="selected" href="index.html">artiq</a></li>
+            <li><a href="../solvespace/index.html">solvespace</a></li>
             <li><a href="../gateware.html">gateware</a></li>
             <li><a href="../video.html">video</a></li>
             <li><a href="../public_events.html">events</a></li>
diff --git a/gateware.html b/gateware.html
index c1c68ec..7235a58 100644
--- a/gateware.html
+++ b/gateware.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a class="selected" href="gateware.html">gateware</a></li>
 			<li><a href="video.html">video</a></li>
 			<li><a href="public_events.html">events</a></li>
diff --git a/index.html b/index.html
index 15c3bd9..6376985 100644
--- a/index.html
+++ b/index.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a href="gateware.html">gateware</a></li>
 			<li><a href="video.html">video</a></li>
 			<li><a href="public_events.html">events</a></li>
@@ -30,7 +31,7 @@
 <div style="width: 100%; background: #1d1d20;">
 <div id="container">
 	<div class="pictures">
-		
+
 		<div class="picture" style="width: 700px; margin-left: auto; margin-right: auto;">
 		<center><a href="artiq/index.html"><img src="artiq.jpg"></a></center>
 		<p>ARTIQ (Advanced Real-Time Infrastructure for Quantum physics) is a next-generation control system for quantum information experiments, being developed in partnership with the Nobel prize-winning <a href="http://www.nist.gov/pml/div688/grp10/index.cfm">Ion Storage Group</a> at NIST.</p>
diff --git a/m1.html b/m1.html
index 6656114..3c90023 100644
--- a/m1.html
+++ b/m1.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a href="gateware.html">gateware</a></li>
 			<li><a class="selected" href="video.html">video</a></li>
 			<li><a href="public_events.html">events</a></li>
diff --git a/mixxeo.html b/mixxeo.html
index c0d1205..e7c3bb7 100644
--- a/mixxeo.html
+++ b/mixxeo.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a href="gateware.html">gateware</a></li>
 			<li><a class="selected" href="video.html">video</a></li>
 			<li><a href="public_events.html">events</a></li>
diff --git a/public_events.html b/public_events.html
index 032f12e..04c59f9 100644
--- a/public_events.html
+++ b/public_events.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a href="gateware.html">gateware</a></li>
 			<li><a href="video.html">video</a></li>
 			<li><a class="selected" href="public_events.html">events</a></li>
diff --git a/solvespace/case-study.html b/solvespace/case-study.html
index de754a4..0e3f126 100644
--- a/solvespace/case-study.html
+++ b/solvespace/case-study.html
@@ -19,13 +19,14 @@
 <div id="header">
     <div id="headerinside">
         <div id="logo"><a href="../index.html"><img src="../logo.png"></a></div>
-<!--         <ul id="menu">
-            <li><a class="selected" href="index.html">artiq</a></li>
+        <ul id="menu">
+            <li><a href="../artiq/index.html">artiq</a></li>
+            <li><a class="selected" href="index.html">solvespace</a></li>
             <li><a href="../gateware.html">gateware</a></li>
             <li><a href="../video.html">video</a></li>
             <li><a href="../public_events.html">events</a></li>
             <li><a href="../about.html">about</a></li>
-        </ul> -->
+        </ul>
     </div>
 </div>
 
diff --git a/solvespace/index.html b/solvespace/index.html
new file mode 120000
index 0000000..4e2d173
--- /dev/null
+++ b/solvespace/index.html
@@ -0,0 +1 @@
+case-study.html
\ No newline at end of file
diff --git a/video.html b/video.html
index 1abefa4..e9e2734 100644
--- a/video.html
+++ b/video.html
@@ -6,7 +6,7 @@
 	<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 
 	<title>M-Labs &raquo; open source experimental physics</title>
-	
+
 	<link rel="stylesheet" type="text/css" media="screen" href="style.css" />
 	<link rel="icon" type="image/png" href="favicon.png" />
 
@@ -19,6 +19,7 @@
 		<div id="logo"><a href="index.html"><img src="logo.png"></a></div>
 		<ul id="menu">
 			<li><a href="artiq/index.html">artiq</a></li>
+			<li><a href="solvespace/index.html">solvespace</a></li>
 			<li><a href="gateware.html">gateware</a></li>
 			<li><a class="selected" href="video.html">video</a></li>
 			<li><a href="public_events.html">events</a></li>