diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-07 14:35:35 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-07 14:35:35 +0200 |
commit | 2ffc7cfaf05217394708d2c00ab85ab07663d03c (patch) | |
tree | 3a239da59946fcb2d6c7b7becd499c7b61e12007 /docs/css/default.css | |
parent | a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e (diff) | |
download | dotty-2ffc7cfaf05217394708d2c00ab85ab07663d03c.tar.gz dotty-2ffc7cfaf05217394708d2c00ab85ab07663d03c.tar.bz2 dotty-2ffc7cfaf05217394708d2c00ab85ab07663d03c.zip |
Migrate dotty.epfl.ch to static site in repository
Diffstat (limited to 'docs/css/default.css')
-rw-r--r-- | docs/css/default.css | 544 |
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; + } +} |