diff --git a/docs/public/favicon.png b/docs/public/favicon.png
deleted file mode 100644
index a7641eb..0000000
Binary files a/docs/public/favicon.png and /dev/null differ
diff --git a/docs/public/global.css b/docs/public/global.css
deleted file mode 100644
index c803e2e..0000000
--- a/docs/public/global.css
+++ /dev/null
@@ -1,79 +0,0 @@
-html {
-  margin: 0;
-  padding: 0;
-}
-
-body {
-  box-sizing: border-box;
-  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen-Sans, Ubuntu, Cantarell,'Helvetica Neue', sans-serif;
-  margin: 0;
-  position: relative;
-}
-
-html,
-body {
-  height: 100%;
-}
-
-a {
-  color: rgb(0, 100, 200);
-  text-decoration: none;
-}
-
-a:hover {
-  text-decoration: underline;
-}
-
-a:visited {
-  color: rgb(0, 80, 160);
-}
-
-label {
-  display: block;
-}
-
-input,
-button,
-select,
-textarea {
-  font-family: inherit;
-  font-size: inherit;
-  padding: 0.4em;
-  margin: 0 0 0.5em 0;
-  box-sizing: border-box;
-  border: 1px solid #ccc;
-  border-radius: 2px;
-}
-
-input:disabled {
-  color: #ccc;
-}
-
-input[type='range'] {
-  height: 0;
-}
-
-button {
-  color: #333;
-  background-color: #f4f4f4;
-  outline: none;
-}
-
-button:disabled {
-  color: #999;
-}
-
-button:not(:disabled):active {
-  background-color: #ddd;
-}
-
-button:focus {
-  border-color: #666;
-}
-
-.github-ribbon {
-  position: fixed;
-  right: 0;
-  top: 0;
-  z-index: 100;
-}