change markdown font
jupopyter lab by xuestrange
Details
Authorxuestrange
LicenseNo License
Categoryjupyter lab
Created
Updated
Size481 B
Statistics
Learn how we calculate statistics in the FAQ.
Failed to fetch stats.
Description
Notes
Userstyle doesn't have notes.Source code
/* ==UserStyle==
@name 0.0.1 - 2022/11/21 21:09:37
@namespace github.com/openstyles/stylus
@version 1.0.0
@description A new userstyle
@author Me
==/UserStyle== */
div pre span {
font-family: "juliamono", "noto sans cjk sc";
font-weight: 500;
}
div div p {
font-family: "juliamono", "noto sans cjk sc";
font-weight: 500;
font-size: 16px;
}
span.cm-comment {
color: #f0f;
}
@-moz-document url-prefix("0.0.1") {
/* 在此插入代码... */
}