small fixes

examples.opa

@@ -1,3 +1,5 @@
+import stdlib.system
+
 type plugin =
   { name : string
   ; files : list(string)
@@ -54,6 +56,11 @@ Examples = {{
     do rerun(e)
     void
 
-  deploy_all(ex, recompile) = List.iter(deploy(recompile, _), ex)
+  deploy_all(ex, recompile) =
+    do List.iter(deploy(recompile, _), ex)
+    if recompile then
+      System.exit(0)
+    else
+      void
 
 }}

hands-on-opa.opa

@@ -180,8 +180,8 @@ index_page() =
         Go to opalang.org
       </>
     </>
-  blog_articles = <ul>{List.map(show_article, blog_articles)}</ul>
-  manual_articles = <ul>{List.map(show_article, manual_articles)}</ul>
+  blog_articles = <ul class=unstyled>{List.map(show_article, blog_articles)}</ul>
+  manual_articles = <ul class=unstyled>{List.map(show_article, manual_articles)}</ul>
   examples = List.filter_map(show_example, examples)
   page =
     <div id="header">{header}</div>
@@ -242,8 +242,3 @@ server =
   needs_recompile = CommandLine.filter(recompile)
   do Examples.deploy_all(examples, needs_recompile)
   Server.simple_bundle([resources], urls)
-
-css = css
-  li {
-    clear: both;
-  }

resources/style/style.css

@@ -164,7 +164,7 @@ iframe {
 }
 .action {
   display: inline-block;
-  border: 1px dotted black;
+  border: 1px solid #DDD;
   padding-right: 5px;
   margin-top: 2px;
 }
@@ -194,7 +194,7 @@ div.coming_soon {
 #container ul li {
   list-style-type: none;
   background-image: none !important;
-  border-bottom: 1px dotted black;
+  border-bottom: 1px solid #DDD;
   padding: 3px 0px !important;
   min-height: 32px;
 }
@@ -214,7 +214,7 @@ h3 {
 .opalang_apps {
     width: 100% !important;
     height: inherit !important;
-    border-bottom: 1px dotted black;
+    border-bottom: 1px solid #DDD;
 }
 .col50 {
     width: 46.5% !important;