Merge pull request #48 from null-a/webppl-0.9.7-compat

WebPPL 0.9.7 compatibility

README.md

@@ -31,7 +31,6 @@ preEls.map(function(el) { editor.setup(el, {language: 'webppl'}); });
 - `editor.get([key])`: retrieves the object with key `key`. When called with no key, returns the entire store.
 - `editor.MCMCProgress()`: displays a progress bar during MCMC inference (work in progress).
 - `print` prints an object the results section (works both in WebPPL and vanilla Javascript).
-- `resumeTrampoline`: resumes trampolining WebPPL code; used for external library functions that need to do asynchronous work.
 
 We also ship the editor as `editor.ReactComponent`.
 

docs/index.html

@@ -1821,5 +1821,5 @@ <h3>error handling</h3>
   </script>
 
 
-  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.6.js"></script>
+  <script src="//s3-us-west-2.amazonaws.com/cdn.webppl.org/webppl-v0.9.7.js"></script>
 </html>

docs/webppl-editor.css

@@ -416,9 +416,6 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
   display: inline-block;
   vertical-align: top;
   margin-bottom: -30px;
-  /* Hack to make IE7 behave */
-  *zoom:1;
-  *display:inline;
 }
 .CodeMirror-gutter-wrapper {
   position: absolute;
@@ -462,8 +459,8 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
   position: relative;
   overflow: visible;
   -webkit-tap-highlight-color: transparent;
-  -webkit-font-variant-ligatures: none;
-  font-variant-ligatures: none;
+  -webkit-font-variant-ligatures: contextual;
+  font-variant-ligatures: contextual;
 }
 .CodeMirror-wrap pre {
   word-wrap: break-word;
@@ -537,9 +534,6 @@ div.CodeMirror-dragcursors {
   background: rgba(255, 255, 0, .4);
 }
 
-/* IE7 hack to prevent it from returning funny offsetTops on the spans */
-.CodeMirror span { *vertical-align: text-bottom; }
-
 /* Used to force a border model for a node */
 .cm-force-border { padding-right: .1px; }