Squashed 'lib/vis/' content from commit 1d029ca

git-subtree-dir: lib/vis
git-subtree-split: 1d029cab7b527f3b292e95d550efbf784dac8699

docs/css/prettify.css

@@ -0,0 +1,87 @@
+.com {
+  color: gray;
+}
+
+.lit {
+  color: red;
+}
+
+.pun {
+  color: gray;
+}
+
+.pln {
+  color: #333333;
+}
+
+pre.prettyprint {
+  border: 1px solid lightgray;
+  background-color: #fcfcfc;
+  padding: 5px;
+
+  font-size: 10pt;
+  line-height: 1.5em;
+  font-family: monospace;
+}
+
+ol.linenums {
+  margin-top:0;
+  margin-bottom:0;
+}
+
+li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8 {
+  list-style:none;
+}
+
+li.L1,li.L3,li.L5,li.L7,li.L9 {
+  background:#eee;
+}
+
+.str,.atv {
+  color: green;
+}
+
+.kwd,.tag {
+  color:#2B7CE9;
+}
+
+.typ,.atn,.dec {
+  color: darkorange;
+}
+
+@media print {
+  .com {
+    color:#600;
+    font-style:italic;
+  }
+
+  .typ {
+    color:#404;
+    font-weight:700;
+  }
+
+  .lit {
+    color:#044;
+  }
+
+  .pun {
+    color:#440;
+  }
+
+  .pln {
+    color:#000;
+  }
+
+  .atn {
+    color:#404;
+  }
+
+  .str,.atv {
+    color:#060;
+  }
+
+  .kwd,.tag {
+    color:#006;
+    font-weight:700;
+  }
+}

docs/css/style.css

@@ -0,0 +1,83 @@
+html, body {
+  width: 100%;
+  height: 100%;
+  padding: 0;
+  margin: 0;
+}
+
+body, td, th {
+  font-family: arial, sans-serif;
+  font-size: 11pt;
+  color: #4D4D4D;
+  line-height: 1.7em;
+}
+
+#container {
+  position: relative;
+  margin: 0 auto;
+  padding: 10px 10px 50px 10px;
+  width: 970px;
+  max-width: 100%;
+  box-sizing: border-box;
+}
+
+h1 {
+  font-size: 180%;
+  font-weight: bold;
+  padding: 0;
+  margin: 1em 0 1em 0;
+}
+
+h2 {
+  padding-top: 20px;
+  padding-bottom: 10px;
+  border-bottom: 1px solid #e0e0e0;
+  color: #064880;
+}
+
+h3 {
+  font-size: 140%;
+}
+
+a > img {
+  border: none;
+}
+
+a {
+  color: #064880;
+  text-decoration: none;
+}
+
+a:visited {
+  color: #064880;
+  text-decoration: none;
+}
+
+a:hover {
+  color: red;
+  text-decoration: underline;
+}
+
+table {
+  border-collapse: collapse;
+}
+
+th {
+  font-weight: bold;
+  border: 1px solid lightgray;
+  background-color: #E5E5E5;
+  text-align: left;
+  vertical-align: top;
+  padding: 5px;
+}
+
+td {
+  border: 1px solid lightgray;
+  padding: 5px;
+  vertical-align: top;
+}
+
+p.important_note {
+  color: #3a6baa;
+  font-weight:bold;
+}