LoginSignup
2
1

More than 5 years have passed since last update.

paiza.ioで自分の好きなフォントを使う

Last updated at Posted at 2016-10-18

paiza.ioでコーディングするとき、フォントサイズや配色は設定で変えられますが、フォントそのものを変えることはできません。

ブラウザの機能拡張を利用して変えてしまいましょう!

paiza.png

導入するブラウザの機能拡張

Stylish」を例にします。

IE、Edge愛好家のみなさん、ごめんなさい。

調整するクラス

  • ソース
    • .ace_editor @paiza.io
  • コメント欄
    • 全体:div.variable-area * @paiza.io
    • 入力欄と出力欄で分けたい場合
      入力欄のみ:div.variable-area @paiza.io
      出力欄のみ:div.variable-area pre @paiza.io
  • 入力欄
    • textarea.variable-area @paiza.io
  • 出力欄
    • [TEXT] or [JSON]:.stdout @paiza.io
    • [HTML]: * @out.paiza.io
      HTML出力はiframeで「out.paiza.io/~~」を埋め込んでいる

Stylish(機能拡張)での実現例

上記で挙げたクラスに対して、font-familyの値を指定します。今回は、源ノ角ゴシック Code JP(Source Han Code JP)をWindowsで指定する例とします。

Mozilla Format

@-moz-document domain("paiza.io") {
.ace_editor,
.stdout,
textarea.variable-area,
div.variable-area *{
    font-family: "Source Han Code JP";
}
}

@-moz-document domain("out.paiza.io") {
/* 出力(HTML) */
* {
    font-family: "Source Han Code JP";
}
}

Chrome

適用先:paiza.io

.ace_editor,
.stdout,
textarea.variable-area,
div.variable-area *{
    font-family: "Source Han Code JP";
}

適用先:out.paiza.io

/* 出力(HTML) */
* {
    font-family: "Source Han Code JP";
}

注意事項

2
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
2
1