Dark theme for the Tokio website/tutorial.
tokio.rs - Dark Theme - 1/20/2023, 9:59:25 PM by eminor
Details
Authoreminor
LicenseNo License
Categorytokio.rs -> userstyles
Created
Updated
Size2.4 kB
Statistics
Learn how we calculate statistics in the FAQ.
Failed to fetch stats.
Description
Notes
Userstyle doesn't have notes.Source code
/* ==UserStyle==
@name tokio.rs - Dark Theme - Smaragd Colors - 1/20/2023, 9:59:25 PM
@namespace github.com/openstyles/stylus
@version 1.0.0
@description Dark theme for the tokio website
@author eminor
==/UserStyle== */
@-moz-document url-prefix("https://tokio.rs/") {
html {
background-color: #151515;
}
body {
color: #f1f1f1;
}
pre {
background-color: #101010;
}
strong {
color: #b1b1b1;
}
.navbar,
.navbar .navbar-brand {
background-color: #050505;
}
.content blockquote {
background-color: #101010;
border-left: 5px solid #dbdbdb;
}
.content h1,
.content h2,
.content h3,
.content h4,
.content h5,
.content h6 {
color: #f1f1f1;
}
.menu-list a {
color: #f1f1f1;
}
.tk-docs .tk-content {
color: #f1f1f1;
font-weight: 400;
}
.tk-docs .tk-content a {
color: #e640ab;
}
.tk-docs .tk-content .tk-content-summary a {
color: #f1f1f1;
font-weight: 500;
}
/* Background behind the menu */
.tk-docs .tk-docs-nav {
background-color: #101010;
}
.tk-docs .menu li.is-active {
background-color: #151515;
}
.tk-docs .menu li.is-active > a {
color: #888;
}
/* Code highlighting */
code,
hr {
background-color: #050505;
}
.tk-docs .tk-content code {
color: #f1f1f1;
}
.tk-docs .tk-content .tk-markdown .is-warning {
color: #e640ab;
background: #101010;
}
.hljs-keyword,
.hljs-selector-tag,
.hljs-subst {
color: #e640ab;
}
.hljs-comment,
.hljs-quote {
color: #b1b1b1;
}
.hljs-meta {
color: #b1b1b1;
}
/* Fix landing page colors */
.title {
color: #f1f1f1;
}
.tk-stack .tk-lib-tokio .learn-more a,
.tk-stack .tk-lib-tokio .title {
color: #fff;
}
.tk-features {
background-color: #101010;
}
.hero.is-primary .title {
color: #fff;
}
.hero.is-primary {
background-color: #101010;
color: #fff;
}
.hero.is-primary .subtitle {
color: #fafafa;
}
.card {
background-color: #151515;
color: #fff;
}
/* Footer logos */
.tk-doc-footer .tk-help-links .tk-svg-path {
fill: #fafafa !important;
}
.footer {
background-color: #050505;
color: #fff;
}
/* Invert colors of svg logos */
.hero img {
-webkit-filter: invert(1);
/* safari 6.0 - 9.0 */
filter: invert(1);
}
}