diff --git a/spec/index.html b/spec/index.html index 4a4efd8..4317ecf 100644 --- a/spec/index.html +++ b/spec/index.html @@ -116,9 +116,6 @@ margin: 1em 4em 1em 0em ; } .return, .type { color: #177 } -/* == Notes == */ -.note { margin-left: 2.5em; margin-right: 4ex ; font-size: 85% ; font-style: italic ; } - /* Definitions */ .defn { margin-left:0 ; margin-right: 2ex; margin-top: 0.1ex ; margin-bottom: 0.1ex ;