Skip to content

Instantly share code, notes, and snippets.

@xndyz
Created November 9, 2020 17:02
Show Gist options
  • Select an option

  • Save xndyz/623b8de7801a7a6c87fbba8f122b5b38 to your computer and use it in GitHub Desktop.

Select an option

Save xndyz/623b8de7801a7a6c87fbba8f122b5b38 to your computer and use it in GitHub Desktop.
Google Colab theme for readability
@import url(https://fonts.googleapis.com/css2?family=Proxima+Nova:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap);
:root {
--colab-chrome-font-family: Jetbrains Mono;
--colab-primary-surface-color: rgb(28, 32, 34);
--colab-primary-text-color: rgb(187, 187, 187);
--colab-chrome-font-size: 18px;
--colab-primary-border-color: #ddd;
--border-color: rgb(62, 64, 69);
--colab-icon-color: rgb(187, 187, 187);
--colab-input-border-color: rgb(62, 64, 69);
--sans-serif-font-family: Proxima Nova;
--paper-font-subhead_-_font-size: 18px;
}
html {
font-size: 20px;
}
hr, .goog-menuseparator {
border-color: var(--border-color);
}
.markdown p, .markdown ol, .markdown ul {
font-size: var(--colab-chrome-font-size);
}
#top-menubar, .goog-menuitem-content {
font-family: var(--colab-chrome-font-family);
border-color: var(--colab-primary-border-color)
}
#top-menubar {
font-size: medium;
}
colab-last-saved-indicator {
font-size: medium;
}
div paper-button span {
font-size: medium;
}
.toc-section {
font-size: medium
}
.comment-date {
font-size: x-small;
color: var(--colab-primary-border);
}
paper-button {
font-size: 14px;
}
.comment-input-text {
border-color: var(--colab-input-border-color);
font-family: var(--sans-serif-font-family);
font-size: medium;
}
@xndyz
Copy link
Author

xndyz commented Nov 9, 2020

Install https://chrome.google.com/webstore/detail/stylebot/oiaejidbmkiecgbjeifoejpgmdaleoha/related?hl=en, go to a Colab doc, open the extension, and paste this in. Enable dark mode in Colab settings.

This theme increases font-size and changes certain colors and fonts. Make sure you have the fonts installed locally unless you wanna change them.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment