Add missing css, fonts, and js files

ucsd-progsys · Jul 30, 2023 · ca1d391 · ca1d391
1 parent 2a40e96
commit ca1d391
Show file tree

Hide file tree

Showing 351 changed files with 275,740 additions and 0 deletions.
diff --git a/css/bootstrap-theme.css b/css/bootstrap-theme.css
diff --git a/css/bootstrap-theme.min.css b/css/bootstrap-theme.min.css
diff --git a/css/bootstrap.css b/css/bootstrap.css
diff --git a/css/bootstrap.min.css b/css/bootstrap.min.css
diff --git a/css/bootswatch.css b/css/bootswatch.css
diff --git a/css/code-format.css b/css/code-format.css
@@ -0,0 +1,56 @@
+code {
+  white-space: pre;
+}
+
+.slideonly {
+  display: none;
+}
+
+.dropdown-menu {
+  min-width: 0px;
+}
+
+#checker-status {
+  width: 30;
+  height: 20;
+  padding-top: 2px;
+  padding-right: 10px;
+  position: absolute;
+  top: 0;
+  right: 0;
+  z-index:99;
+}
+
+table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
+  margin: 0;
+  padding: 0;
+  vertical-align: baseline;
+  border: none;
+}
+
+table.sourceCode {
+  width: 100%;
+  line-height: 100%;
+}
+
+td.lineNumbers {
+  text-align: right;
+  padding-right: 4px;
+  padding-left: 4px;
+  color: #aaaaaa;
+  border-right: 1px solid #aaaaaa;
+}
+
+td.sourceCode { padding-left: 5px; }
+code > span.kw { color: #007020; font-weight: bold; }
+code > span.dt { color: #902000; }
+code > span.dv { color: #40a070; }
+code > span.bn { color: #40a070; }
+code > span.fl { color: #40a070; }
+code > span.ch { color: #4070a0; }
+code > span.st { color: #4070a0; }
+code > span.co { color: #60a0b0; font-style: italic; }
+code > span.ot { color: #007020; }
+code > span.al { color: #ff0000; font-weight: bold; }
+code > span.fu { color: #06287e; }
+code > span.er { color: #ff0000; font-weight: bold; }