1 files changed, 544 insertions, 0 deletions
diff --git a/docs/css/default.css b/docs/css/default.css
new file mode 100644
index 000000000..6cd58a8b7
--- /dev/null
+++ b/docs/css/default.css
@@ -0,0 +1,544 @@
+@import url(https://fonts.googleapis.com/css?family=Droid+Sans);
+@import url(https://fonts.googleapis.com/css?family=Lobster);
+@import url(https://fonts.googleapis.com/css?family=Raleway:700);
+@import url(https://fonts.googleapis.com/css?family=Lato:700);
+@import url(https://fonts.googleapis.com/css?family=Source+Sans+Pro:200,300,400,600,700,900);
+
+html, body {
+    box-sizing: border-box;
+}
+
+*, *:before, *:after {
+    box-sizing: inherit;
+}
+
+body {
+    height: 100%;
+    width: 100%;
+    margin: 0;
+    padding: 0;
+    background: #de332e;
+    font-family: 'Source Sans Pro', sans-serif;
+    overflow-x: hidden;
+}
+
+div#header {
+    height: 59px;
+    width: 100%;
+    z-index: 1;
+    position: relative;
+    overflow: hidden;
+}
+
+div#mobile-header {
+    display: none;
+}
+
+div.page {
+    min-height: 100vh;
+    width: 100%;
+    padding: 15px 10px;
+    min-width: 700px;
+    position: relative;
+    font-weight: 300;
+}
+
+div.page.exactly-one-page {
+    max-height: 100vh;
+}
+
+div.page > div.centered {
+    max-width: 640px;
+    margin: 0 auto;
+}
+
+div.page > div.centered.questions > h1 {
+    font-family: 'Lobster', sans-serif;
+    font-size: 4em;
+    text-align: center;
+    margin: 32px 0 24px;
+}
+
+div.page > div.centered.questions > p+h1 {
+    margin-top: 64px;
+}
+
+div.page.blue a,
+div.page.teal a {
+    color: #f26527;
+}
+
+div.page.blue a:focus,
+div.page.blue a:hover,
+div.page.teal a:focus,
+div.page.teal a:hover {
+    color: #da4323;
+}
+
+div.page.blue a:visited,
+div.page.teal a:visited {
+    color: #f26527;
+}
+
+div.page.blue > div.questions > div.contributors {
+    width: 596px;
+    margin: 0 auto;
+    overflow: hidden;
+}
+
+div.page.blue > div.questions > div.contributors+div {
+    margin-top: 16px;
+}
+
+div.page.blue > div.questions > div.contributors > div.contributors-cell {
+    margin: 0 auto 1em;
+    width: 348px;
+    overflow: hidden;
+}
+
+div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor {
+    float: left;
+    display: inline;
+    width: 100px;
+}
+
+div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor {
+    text-align: center;
+    font-size: 12px;
+    color: #fff;
+}
+
+div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor > a:hover {
+    opacity: 0.9;
+}
+
+div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor > a > img {
+    width: 100%;
+    border-radius: 50%;
+    margin-bottom: 9px;
+}
+
+div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor+div {
+    margin-left: 24px;
+}
+
+div.page > div.centered > h2 {
+    margin: 32px 0;
+}
+
+div#header nav.nav {
+    float: right;
+    line-height: 43px;
+    font-family: 'Source Sans Pro', sans-serif;
+}
+
+div#header nav img#github-logo {
+    margin-right: 10px;
+    width: 40px;
+    height: auto;
+}
+
+div#header li.nav-item > a.nav-link {
+    color: #fff;
+}
+
+div.scala-logo-container {
+    width: 232px;
+    height: calc(400px + 13em);
+    margin: auto;
+    position: absolute;
+    top: 0; right: 0; bottom: 0; left: 0;
+}
+
+div.scala-logo-container > p {
+    margin: 0;
+    padding: 0;
+    height: 100%;
+    width: 100%;
+}
+
+div.scala-logo-container > p > img {
+    width: 100%;
+    height: auto;
+}
+
+h1#dotty {
+    font-family: 'Source Sans Pro', sans-serif;
+    font-weight: 700;
+    text-align: center;
+    font-size: 3.5em;
+    margin-top: 20px;
+}
+
+div.centered-subtitle {
+    text-align: center;
+    font-family: 'Source Sans Pro', sans-serif;
+    position: absolute;
+    bottom: 0;
+    left: 0;
+    right: 0;
+}
+
+div.centered-subtitle > a {
+    color: #fff;
+}
+
+div.centered-subtitle > a > i#scroll-down-arrow {
+    font-size: 3em;
+}
+
+pre {
+    background-color: #efefef;
+    border-radius: 4px;
+    padding: 4px 10px;
+}
+
+pre.bright {
+    background-color: #efefef;
+    border-radius: 4px;
+    padding: 4px 10px;
+    color: #bd4147;
+    text-align: left;
+}
+
+h1#getting-started {
+    margin-top: 25px;
+}
+
+div.centered-table > table {
+    width: 100%;
+}
+
+div.centered-table+p {
+    text-align: center;
+    margin-top: 2em;
+}
+
+/* Decorator classes */
+.centered-text {
+    text-align: center;
+    clear: both;
+}
+
+.no-top-padding {
+    padding-top: 0 !important;
+}
+
+.page.no-top-padding {
+    margin-top: -32px;
+}
+
+.red {
+    background: #de332e;
+    color: #fff;
+}
+
+.white {
+    background: #fff;
+    color: #000;
+}
+
+.blue {
+    background: #002B36;
+    color: #fff;
+}
+
+.teal {
+    background: #224951;
+    color: #fff;
+}
+
+div#build-status > div.centered > div.project {
+    margin-bottom: 2em;
+    position: relative;
+}
+
+div#build-status progress.progress {
+    position: relative;
+    height: 38px !important;
+}
+
+div#build-status progress.progress-animate:after {
+    content: "";
+    position: absolute;
+    top: 0; left: 0; bottom: 0; right: 0;
+    background-image: linear-gradient(
+        60deg,
+        rgba(255, 255, 255, .2) 25%,
+        transparent 25%,
+        transparent 50%,
+        rgba(255, 255, 255, .2) 50%,
+        rgba(255, 255, 255, .2) 75%,
+        transparent 75%,
+        transparent
+    );
+    z-index: 1;
+    background-size: 30px 52px;
+    animation: move 2s linear infinite;
+    border-top-right-radius: 0.2em;
+    border-bottom-right-radius: 0.2em;
+    border-top-left-radius: 0.2em;
+    border-bottom-left-radius: 0.2em;
+    overflow: hidden;
+    animation: move 0.5s linear infinite;
+}
+
+@keyframes move {
+    0% {
+        background-position: 0 0;
+    }
+    100% {
+        background-position: 88px 50px;
+    }
+}
+
+div#build-status h1.title {
+    margin-top: 1em;
+}
+
+div#build-status div.console-output {
+    font-family: "Source Sans pro";
+    font-weight: 600;
+    font-size: 15px;
+}
+
+div#build-status button.console-output-button,
+div#build-status button.console-output-button:hover,
+div#build-status button.console-output-button:active,
+div#build-status button.console-output-button:focus,
+div#build-status button.console-output-button:visited {
+    color: #f26527;
+    font-size: 13px !important;
+    position: absolute;
+    top: 7px;
+    right: 1px;
+}
+
+div#home-button-container {
+    position: fixed;
+    top: 2em;
+    left: 2em;
+    z-index: 2;
+    text-align: center;
+    color: #fff;
+    width: 41px;
+}
+
+a#home-button {
+    color: #fff;
+}
+
+a#home-button > img {
+    width: 100%;
+}
+
+/** Blog */
+#content > div.page.teal > div > h1.blog-title {
+    margin-top: 1em;
+}
+
+#content > div.page.teal > div > h2.blog-sub-title {
+    font-size: 1.5rem;
+    margin: 0;
+}
+
+div.blog-post code {
+    font-weight: 400;
+    font-size: 100%;
+    border-radius: 2px;
+    background: transparent;
+    padding: 0 0.15rem;
+    color: #3ca7c7;
+}
+
+div.blog-post pre code {
+    color: #000;
+}
+
+div.author-container {
+    margin: 1em 0;
+    width: 100%;
+    overflow: hidden;
+    font-weight: 400;
+}
+
+div.author-container > img {
+    float: left;
+    width: 100px;
+    border-radius: 50%;
+    border: 2px solid #aaa;
+    margin-right: 1em;
+}
+
+div.author-container > div.float-container {
+    float: left;
+    margin-top: 1.3em;
+}
+
+div.author-container > div.float-container > div.author,
+div.author-container > div.float-container > div.date {
+    font-size: 1.1em;
+}
+
+div#old-posts {
+    position: fixed;
+    z-index: 2;
+    top: 2em;
+    right: 0.5em;
+    color: #fff;
+    width: 265px;
+    overflow: ellipsis;
+}
+
+div#old-posts a,
+div#old-posts a:hover,
+div#old-posts a:focus,
+div#old-posts a:visited {
+    color: #f26527;
+}
+
+/** End Blog */
+
+/** Media queries for smaller devices */
+@media screen and (max-width: 1194px) {
+    div#old-posts {
+        display: none;
+    }
+}
+
+@media screen and (max-width: 899px) {
+    div.blog-post > div.centered > h1 {
+        text-align: center;
+    }
+    div.blog-post > div.centered > div.author-container {
+        width: 140px;
+        text-align: center;
+        margin: 1em auto;
+    }
+    div.blog-post > div.centered > div.author-container > img {
+        width: 140px;
+    }
+    div.author-container > div.float-container {
+        float: none;
+        margin-top: 0;
+    }
+    div#home-button-container {
+        position: relative;
+        top: auto;
+        left: auto;
+        width: 100%;
+        padding: 15px 10px;
+        min-width: 700px;
+    }
+    div#home-button-container > a#home-button > span {
+        display: none;
+    }
+    div#home-button-container > a#home-button > img {
+        width: 55px;
+        height: auto;
+    }
+}
+
+/* Media query rules specifically for mobile devices */
+@media
+screen /* HiDPI device like Nexus 5 */
+and (max-device-width: 360px)
+and (max-device-height: 640px)
+and (-webkit-device-pixel-ratio: 3)
+,
+screen /* Most mobile devices  */
+and (max-device-width: 480px)
+and (orientation: portrait)
+,
+only screen /* iPhone 6 */
+and (max-device-width: 667px)
+and (-webkit-device-pixel-ratio: 2)
+{
+    div#header {
+        display: none;
+    }
+
+    div#mobile-header {
+        display: block;
+    }
+
+    div#mobile-header > nav {
+        z-index: 2;
+    }
+
+    div#mobile-header > nav #collapsed-header > div > ul {
+        list-style-type: none;
+        padding-left: 0;
+        font-size: 2em;
+    }
+
+    #collapsed-header > div > ul > li > a {
+        color: #fff;
+    }
+
+    div#mobile-header nav #github-logo {
+        width: 41px;
+    }
+
+    div.page {
+        min-width: 0;
+    }
+
+    div.page > div.centered.questions > h1 {
+        font-size: 2.2em;
+    }
+
+    div#home-button-container {
+        min-width: 0;
+    }
+
+    div.page.blue > div.questions > div.contributors {
+        width: 338px;
+    }
+
+    div.page.blue > div.questions > div.contributors > div.contributors-cell {
+        width: 194px;
+        margin: 0 auto;
+    }
+
+    div.page.blue > div.questions > div.contributors > div.contributors-cell+div.contributors-cell {
+        margin: 2em auto 0;
+    }
+
+    div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor {
+        width: 50px;
+    }
+
+    div.page.blue > div.questions > div.contributors > div.contributors-cell > div.contributor+div {
+        margin-left: 22px;
+    }
+
+    div.scala-logo-container {
+        width: 40%;
+        height: 84%;
+        top: 70px;
+    }
+
+    #content > div.page.red.exactly-one-page > div.scala-logo-container > div > p {
+        font-size: 0.8em;
+    }
+
+    /* Feature */
+    div.centered-table > table > tbody > tr > td:nth-child(1) {
+        font-size: 0.8em;
+    }
+
+    /* Status */
+    div.centered-table > table > tbody > tr > td:nth-child(2) {
+        font-size: 0.8em;
+        text-align: right;
+    }
+
+    div#header > nav.nav {
+        float: none;
+    }
+
+    div#header > nav.nav.nav-pills .nav-item+.nav-item {
+        margin-left: 0;
+    }
+}