Merge pull request google#250 from sparkprime/docs

Docs
BeaconImpex · Nov 2, 2016 · 78da9cb · 78da9cb
2 parents c6db9f1 + 6d6a7b3
commit 78da9cb
Show file tree

Hide file tree

Showing 5 changed files with 1,023 additions and 643 deletions.
diff --git a/doc/_layouts/default.html b/doc/_layouts/default.html
@@ -40,7 +40,7 @@
       'boolean': /\b(true|false)\b/g,
       'constant': /\bnull\b/g,
       'error': /\berror\b/g,
-      'special': /\b(local|function|if|then|else|import|importstr|for|in)\b/g,
+      'special': /\b(assert|tailstrict|local|function|if|then|else|import|importstr|for|in)\b/g,
       'number': /\b[0-9][0-9.eE]*\b/g,
       'operator': /(\+|\*|\/)+/g,
     };

diff --git a/doc/case_studies/casestudy_fractal.2.html b/doc/case_studies/casestudy_fractal.2.html
@@ -2,9 +2,9 @@
 layout: default
 srcroot: https://github.com/google/jsonnet/blob/master/case_studies
 service_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/service.jsonnet
-packer_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/lib/packer.jsonnet
-terraform_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/lib/terraform.jsonnet
-cassandra_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/lib/cassandra.jsonnet
+packer_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/lib/packer.libsonnet
+terraform_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/lib/terraform.libsonnet
+cassandra_jsonnet: https://github.com/google/jsonnet/blob/master/case_studies/fractal/lib/cassandra.libsonnet
 makefile: https://github.com/google/jsonnet/blob/master/case_studies/fractal/Makefile
 ---
 

diff --git a/doc/css/doc.css b/doc/css/doc.css
@@ -212,7 +212,7 @@ span.example-code {
 }
 
 pre > code.language-jsonnet {
-    font-size: 7.5pt;
+    font-size: 11.5pt;
 }
 
 pre.medium > code.language-jsonnet {
@@ -245,19 +245,6 @@ p {
     text-align: justify;
 }
 
-table.desugar {
-    font-size:8pt;
-    border-spacing: 20px;
-    background-color: #f0f0f0;
-}
-
-table.desugar code.language-jsonnet {
-    font-size: 8pt;
-}
-
-table.desugar tr {
-}
-
 li {
     margin-bottom: 10px;
 }