new site

src/site/css/dartboard.css

Index: src/site/css/dartboard.css
diff --git a/src/site/css/dartboard.css b/src/site/css/dartboard.css
deleted file mode 100644
index 87e0bdc76f2406f98fc4ef11336584a326d345ef..0000000000000000000000000000000000000000
--- a/src/site/css/dartboard.css
+++ /dev/null
@@ -1,45 +0,0 @@
-.codes {
-  display: block;
-  width: 100%;
-  min-height: 150px;
-  /* width: 600px;
-  height: 300px; */
-  white-space: pre;
-  font-family: monospace;
-  font-size: 11pt;
-  padding-bottom: 34px; /* hack to avoid scrollbars */
-  border: 1px solid #ddd;
-}
-.for-samples {
-  height: 300px;
-}
-
-#samples {
-  padding-bottom: 2px;
-}
-
-#samples-list {
-  outline: 0;
-  min-width: 200px;
-}
-
-div.explanation {
-  border: solid 1px #aaa;
-  padding: 0 1em;
-  margin: 1em 0;
-  height: 400px;
-  overflow: auto;
-}
-.upgrade {
-  margin-top: -1px;
-  color: #fff;
-  background: rgb(35, 63, 89);
-  border: 1px solid #aaa;
-  font-size: 11pt;
-  padding: 4px;
-}
-
-.upgrade a {
-  color: #fff;
-}
-