Skip to content

Instantly share code, notes, and snippets.

@gavinhungry gavinhungry/devtools.html
Last active Feb 6, 2018

What would you like to do?
CDT Theme
<script type='application/javascript' src='devtools.js'></script>
:host-context(.platform-linux) .monospace,
:host-context(.platform-linux) .source-code,
.platform-linux .monospace, .platform-linux .monospace *,
.platform-linux .source-code, .platform-linux .source-code * {
font-size: 10px !important;
"name": "CDT Theme",
"description": "CDT Theme",
"manifest_version": 2,
"version": "1.0.0",
"devtools_page": "devtools.html"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.