calyx 0.17.1 → 0.18.0

data/docs/assets/calyx-docs.css

@@ -1,10 +1,11 @@
+@charset "UTF-8";
 html {
   -ms-text-size-adjust: 100%;
   -webkit-text-size-adjust: 100%; }
 
 body {
   margin: 0;
-  font: 16px/1 sans-serif;
+  font-size: 1rem;
   -moz-osx-font-smoothing: grayscale;
   -webkit-font-smoothing: antialiased; }
 
@@ -57,19 +58,13 @@ button {
   padding: 0;
   border: 0; }
 
-:focus {
-  outline: 0; }
-
 img {
   max-width: 100%;
   height: auto;
   border: 0; }
 
 html {
-  font-size: 16px; }
-  @media (min-width: 768px) and (max-width: 1024px) {
-    html {
-      font-size: 18px; } }
+  font-size: 18px; }
   @media (min-width: 1024px) {
     html {
       font-size: 20px; } }
@@ -77,7 +72,7 @@ html {
 body {
   font-family: "Libre Franklin", sans-serif;
   font-weight: 400;
-  line-height: 1.3; }
+  line-height: 1.5; }
 
 h1, h2, h3, h4, h5, h6 {
   font-family: "Work Sans", sans-serif;
@@ -89,18 +84,29 @@ h1 {
 h2 {
   font-size: 1.3rem; }
 
+p, li {
+  font-size: 1rem; }
+
 .content h1, .content h2, .content h3, .content h4, .content h5, .content h6 {
   margin-top: 1.3rem;
   margin-bottom: 1rem; }
 
+.is-hidden {
+  display: none; }
+
 .container {
   width: 100%; }
 
 .row {
-  display: flex; }
+  display: block; }
+  @media (min-width: 768px) and (max-width: 1024px) {
+    .row {
+      display: flex; } }
+  @media (min-width: 1024px) {
+    .row {
+      display: flex; } }
 
 .col {
-  display: block;
   flex-basis: 0;
   flex-grow: 1;
   flex-shrink: 1; }
@@ -108,9 +114,18 @@ h2 {
 .menu {
   width: 100%;
   padding-top: 1rem; }
+  @media (min-width: 768px) {
+    .menu .menu-label,
+    .menu .menu-list li {
+      font-size: 1rem; } }
+  @media (max-width: 768px) {
+    .menu .menu-label,
+    .menu .menu-list li {
+      font-size: 1.3rem; } }
   .menu .menu-label {
     margin: 1rem 0 0 0;
-    font-size: 1rem; }
+    font-weight: 700;
+    font-family: "Work Sans", sans-serif; }
     .menu .menu-label:first-child {
       margin-top: 0; }
     .menu .menu-label a {
@@ -119,6 +134,13 @@ h2 {
   .menu .menu-list a {
     display: block;
     padding: 0.76923rem 1rem; }
+  .menu .menu-label a, .menu .menu-list a {
+    color: #218764; }
+    .menu .menu-label a.is-active, .menu .menu-list a.is-active {
+      color: #fff;
+      background-color: #218764; }
+    .menu .menu-label a:hover:not(.is-active), .menu .menu-list a:hover:not(.is-active) {
+      background-color: #e9e9e9; }
 
 .color-chip {
   width: 100%;
@@ -164,51 +186,107 @@ h2 {
   overflow: hidden; }
 
 .navbar {
-  display: flex;
   width: 100%;
   height: 3.76923rem;
   background-color: #1BDE81; }
+  @media (max-width: 768px) {
+    .navbar .nav-menu {
+      visibility: hidden; }
+    .navbar.is-open {
+      height: 100vh;
+      overflow-y: scroll; }
+      .navbar.is-open .logo {
+        height: 3.76923rem;
+        background-color: #18c371; }
+      .navbar.is-open .nav-menu {
+        visibility: visible; } }
+  @media (min-width: 768px) {
+    .navbar {
+      display: flex;
+      justify-content: space-between; } }
+  @media (min-width: 1024px) {
+    .navbar {
+      justify-content: space-between; } }
+  .navbar .nav-toggle {
+    color: #fff;
+    font-size: 2.6rem;
+    height: 3.76923rem;
+    display: inline-block;
+    line-height: 2.6rem; }
+    .navbar .nav-toggle:hover {
+      background-color: #18c371; }
+    @media (min-width: 768px) {
+      .navbar .nav-toggle {
+        display: none; } }
   .navbar.is-fixed {
     position: fixed;
     top: 0px;
     z-index: 2000; }
-  .navbar .logo {
-    background-color: #1BDE81;
+  @media (min-width: 768px) {
+    .navbar .nav-brand {
+      display: flex;
+      align-items: center; } }
+  @media (max-width: 768px) {
+    .navbar .nav-brand {
+      width: 100%; }
+      .navbar .nav-brand .nav-menu ul {
+        justify-content: center; } }
+  .navbar .nav-brand .logo {
+    height: 3.76923rem;
     display: flex;
     align-items: center; }
-    .navbar .logo .logo-mark {
-      width: 36px;
-      height: 36px;
-      padding: 1rem 0.76923rem 1rem 1rem; }
-    .navbar .logo .logo-type {
-      color: #fff;
-      font-family: "Work Sans", sans-serif;
-      font-weight: 800;
-      font-size: 1.3rem;
-      padding-right: 1rem; }
-  .navbar .nav-menu {
-    margin-left: 3.9rem; }
+  .navbar .nav-brand .logo-mark {
+    width: 36px;
+    height: 36px;
+    padding: 1rem 0.76923rem 1rem 1rem; }
+  .navbar .nav-brand .logo-type {
+    color: #fff;
+    font-family: "Work Sans", sans-serif;
+    font-weight: 800;
+    font-size: 1.3rem;
+    padding-right: 1rem; }
+  @media (min-width: 1024px) {
+    .navbar .nav-menu {
+      margin-left: 3.9rem; } }
+  .navbar .nav-menu.is-meta {
+    margin-left: 0; }
+  @media (min-width: 768px) {
     .navbar .nav-menu ul {
-      display: flex; }
+      display: flex;
+      align-items: center; } }
+  .navbar .nav-menu ul li {
+    font-size: 1rem;
+    line-height: 1.2;
+    height: 3.76923rem;
+    font-family: "Work Sans", sans-serif;
+    font-weight: 700;
+    color: #fff; }
+    .navbar .nav-menu ul li a {
+      display: block;
+      box-sizing: border-box;
+      padding: 1.25641rem;
+      height: 3.76923rem;
+      color: #fff; }
+      .navbar .nav-menu ul li a:hover {
+        background-color: #18c371; }
+      .navbar .nav-menu ul li a svg {
+        display: inline; }
+      .navbar .nav-menu ul li a span {
+        display: none; }
+    @media (max-width: 768px) {
       .navbar .nav-menu ul li {
-        font-size: 1rem;
-        line-height: 1.2;
-        height: 3.76923rem;
-        font-family: "Work Sans", sans-serif;
-        font-weight: 700;
-        color: #fff; }
+        font-size: 2.6rem;
+        height: auto; }
         .navbar .nav-menu ul li a {
-          display: block;
-          box-sizing: border-box;
-          padding: 1.25641rem;
-          height: 3.76923rem;
-          color: #fff; }
-          .navbar .nav-menu ul li a:hover {
-            background-color: #18c371; }
+          height: auto; }
+          .navbar .nav-menu ul li a svg {
+            display: none; }
+          .navbar .nav-menu ul li a span {
+            display: inline; } }
 
 .pagebar {
   background-color: #218764;
-  height: auto;
+  height: 4.54103rem;
   color: #fff;
   padding: 1rem; }
   .pagebar .breadcrumbs {
@@ -222,19 +300,20 @@ h2 {
         content: "/";
         margin-right: 0.38462rem; }
   .pagebar h1 {
-    margin-top: 0.76923rem;
-    margin-bottom: 0.76923rem;
+    margin-top: 0.25641rem;
     line-height: 1.2;
     font-size: 2.6rem; }
 
 .highlight .hll {
-  background-color: #ffffcc; }
+  background-color: #37463f; }
 
 .highlight {
-  background: #f8f8f8; }
+  color: #eee;
+  background-color: #37463f;
+  font-weight: bold; }
 
 .highlight .c {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment */
@@ -244,63 +323,61 @@ h2 {
 
 /* Error */
 .highlight .g {
-  color: #000000; }
+  color: #eee; }
 
 /* Generic */
 .highlight .k {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword */
 .highlight .l {
-  color: #000000; }
+  color: #eee; }
 
 /* Literal */
 .highlight .n {
-  color: #000000; }
+  color: #eee; }
 
 /* Name */
 .highlight .o {
-  color: #ce5c00;
-  font-weight: bold; }
+  color: #FA8676; }
 
 /* Operator */
 .highlight .x {
-  color: #000000; }
+  color: #eee; }
 
 /* Other */
 .highlight .p {
-  color: #000000;
+  color: #eee;
   font-weight: bold; }
 
 /* Punctuation */
 .highlight .ch {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment.Hashbang */
 .highlight .cm {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment.Multiline */
 .highlight .cp {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment.Preproc */
 .highlight .cpf {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment.PreprocFile */
 .highlight .c1 {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment.Single */
 .highlight .cs {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Comment.Special */
@@ -309,7 +386,7 @@ h2 {
 
 /* Generic.Deleted */
 .highlight .ge {
-  color: #000000;
+  color: #eee;
   font-style: italic; }
 
 /* Generic.Emph */
@@ -327,17 +404,15 @@ h2 {
 
 /* Generic.Inserted */
 .highlight .go {
-  color: #000000;
-  font-style: italic; }
+  color: #eee; }
 
 /* Generic.Output */
 .highlight .gp {
-  color: #8f5902; }
+  color: #aaa; }
 
 /* Generic.Prompt */
 .highlight .gs {
-  color: #000000;
-  font-weight: bold; }
+  color: #eee; }
 
 /* Generic.Strong */
 .highlight .gu {
@@ -351,37 +426,31 @@ h2 {
 
 /* Generic.Traceback */
 .highlight .kc {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword.Constant */
 .highlight .kd {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword.Declaration */
 .highlight .kn {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword.Namespace */
 .highlight .kp {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword.Pseudo */
 .highlight .kr {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword.Reserved */
 .highlight .kt {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Keyword.Type */
 .highlight .ld {
-  color: #000000; }
+  color: #eee; }
 
 /* Literal.Date */
 .highlight .m {
@@ -390,7 +459,7 @@ h2 {
 
 /* Literal.Number */
 .highlight .s {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String */
 .highlight .na {
@@ -398,15 +467,15 @@ h2 {
 
 /* Name.Attribute */
 .highlight .nb {
-  color: #204a87; }
+  color: #76FABB; }
 
 /* Name.Builtin */
 .highlight .nc {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Class */
 .highlight .no {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Constant */
 .highlight .nd {
@@ -415,7 +484,7 @@ h2 {
 
 /* Name.Decorator */
 .highlight .ni {
-  color: #ce5c00; }
+  color: #FA8676; }
 
 /* Name.Entity */
 .highlight .ne {
@@ -424,7 +493,7 @@ h2 {
 
 /* Name.Exception */
 .highlight .nf {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Function */
 .highlight .nl {
@@ -432,29 +501,27 @@ h2 {
 
 /* Name.Label */
 .highlight .nn {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Namespace */
 .highlight .nx {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Other */
 .highlight .py {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Property */
 .highlight .nt {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Name.Tag */
 .highlight .nv {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Variable */
 .highlight .ow {
-  color: #204a87;
-  font-weight: bold; }
+  color: #76FABB; }
 
 /* Operator.Word */
 .highlight .w {
@@ -488,56 +555,56 @@ h2 {
 
 /* Literal.Number.Oct */
 .highlight .sa {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Affix */
 .highlight .sb {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Backtick */
 .highlight .sc {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Char */
 .highlight .dl {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Delimiter */
 .highlight .sd {
-  color: #8f5902;
+  color: #aaa;
   font-style: italic; }
 
 /* Literal.String.Doc */
 .highlight .s2 {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Double */
 .highlight .se {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Escape */
 .highlight .sh {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Heredoc */
 .highlight .si {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Interpol */
 .highlight .sx {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Other */
 .highlight .sr {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Regex */
 .highlight .s1 {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Single */
 .highlight .ss {
-  color: #4e9a06; }
+  color: #C2FBE0; }
 
 /* Literal.String.Symbol */
 .highlight .bp {
@@ -545,23 +612,23 @@ h2 {
 
 /* Name.Builtin.Pseudo */
 .highlight .fm {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Function.Magic */
 .highlight .vc {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Variable.Class */
 .highlight .vg {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Variable.Global */
 .highlight .vi {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Variable.Instance */
 .highlight .vm {
-  color: #000000; }
+  color: #eee; }
 
 /* Name.Variable.Magic */
 .highlight .il {
@@ -632,62 +699,86 @@ h2 {
     padding: 0.38462rem;
     border-radius: 6px;
     background-color: #76FABB;
-    font-family: "Oxygen Mono", "Monaco", Inconsolata, monospace; }
+    font-family: "Inconsolata", "Monaco", monospace; }
+
+.card {
+  margin: 1rem;
+  background-color: #fff;
+  padding: 1.3rem;
+  border: 1px solid #e9e9e9;
+  box-shadow: 1px 1px 6px 0px rgba(233, 233, 233, 0.2); }
+
+.content {
+  max-width: 800px; }
+  .content a {
+    color: #2F5E52;
+    border-bottom: 1px solid #218764; }
+  .content h1, .content h2, .content h3 {
+    color: #218764;
+    margin-top: 1.3rem; }
+    .content h1:first-of-type, .content h2:first-of-type, .content h3:first-of-type {
+      margin-top: 0; }
+  .content h2 {
+    font-size: 1.3rem; }
+  .content h3 {
+    font-size: 1rem; }
+  .content .highlighter-rouge {
+    margin-bottom: 1rem; }
+  .content pre {
+    font-family: "Inconsolata", "Monaco", monospace;
+    overflow-x: scroll;
+    padding: 0.38462rem 0.76923rem;
+    border-radius: 2px;
+    line-height: 1.4; }
+    .content pre code {
+      font-family: "Inconsolata", "Monaco", monospace;
+      font-size: 1rem; }
+  .content p, .content li {
+    color: #333; }
+  .content li {
+    display: list-item;
+    margin-left: 1rem;
+    list-style: disc; }
+
+.container {
+  width: 60%;
+  margin: 2.6rem auto;
+  color: #333;
+  line-height: 1.5; }
+  .container h1 {
+    color: #218764; }
+  .container a {
+    color: #333;
+    border-bottom: 1px solid #1BDE81;
+    padding-left: 0.38462rem; }
+    .container a:before {
+      padding-right: 0.38462rem;
+      content: "→"; }
 
 .page {
-  background-color: #fafafa; }
+  background-color: #fafafa;
+  min-height: calc(100vh - 3.76923rem - 4.54103rem - 1.3rem); }
 
 .docs-sidebar {
-  background-color: #fafafa;
-  width: 10rem; }
-  .docs-sidebar .menu-label {
-    font-weight: 700;
-    font-family: "Work Sans", sans-serif; }
-    .docs-sidebar .menu-label a {
-      color: #218764; }
-      .docs-sidebar .menu-label a.is-active {
-        background-color: #e9e9e9; }
-      .docs-sidebar .menu-label a:hover {
-        background-color: #e9e9e9; }
-  .docs-sidebar .menu-list {
-    font-weight: 400; }
-    .docs-sidebar .menu-list a {
-      color: #218764; }
-      .docs-sidebar .menu-list a.is-active {
-        background-color: #218764;
-        color: #fff; }
-      .docs-sidebar .menu-list a:hover {
-        background-color: #e9e9e9; }
+  background-color: #fafafa; }
+  @media (min-width: 768px) {
+    .docs-sidebar .menu-label,
+    .docs-sidebar .menu-list li {
+      font-size: 0.76923rem; } }
+  @media (max-width: 768px) {
+    .docs-sidebar .menu-label a,
+    .docs-sidebar .menu-list li a {
+      padding-left: 3.9rem; } }
+  @media (min-width: 768px) and (max-width: 1024px) {
+    .docs-sidebar {
+      width: 10rem; } }
+  @media (min-width: 1024px) {
+    .docs-sidebar {
+      width: 10rem; } }
 
 .docs-content {
+  order: 2;
   min-width: 83.3333333%; }
-  .docs-content .logo {
-    position: fixed; }
-  .docs-content .logo + .content {
-    margin-top: 2.6rem; }
-  .docs-content .content {
-    margin: 1rem;
-    background-color: #fff;
-    padding: 1.3rem;
-    max-width: 800px;
-    border: 1px solid #e9e9e9;
-    -webkit-box-shadow: 1px 1px 6px 0px rgba(170, 170, 170, 0.2);
-    -moz-box-shadow: 1px 1px 6px 0px rgba(170, 170, 170, 0.2);
-    box-shadow: 1px 1px 6px 0px rgba(170, 170, 170, 0.2); }
-    .docs-content .content h1, .docs-content .content h2, .docs-content .content h3 {
-      color: #218764; }
-      .docs-content .content h1:first-of-type, .docs-content .content h2:first-of-type, .docs-content .content h3:first-of-type {
-        margin-top: 0; }
-    .docs-content .content .highlighter-rouge {
-      margin-bottom: 1rem; }
-    .docs-content .content pre {
-      overflow-x: scroll; }
-      .docs-content .content pre code {
-        font-size: 1rem; }
-    .docs-content .content p {
-      font-size: 1rem;
-      line-height: 1.5;
-      color: #555; }
 
 .content-footer {
   display: flex;