新 Google Apps Script エディタで自分好みのフォントを使う
code:override-gas-editor-font.user.css
/* ==UserStyle==
@name Override GAS Editor Font
@namespace rinsuki.net
@version 1.0.0
@description A new userstyle
@author rinsuki
==/UserStyle== */
@-moz-document domain("script.google.com") {
@font-face {
font-family: "Roboto Mono";
src: local(Menlo); /* ここを自分の好きなフォントに置き換える */
}
}