/* Noto Sans Monoフォントを定義 */
@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ09DdVXQQ.woff2)}@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ09ndVXQQ.woff2)}@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ09HdVXQQ.woff2)}@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ097dVXQQ.woff2)}@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ09LdVXQQ.woff2)}@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ09PdVXQQ.woff2)}@font-face{font-family:Mono;src:url(https://fonts.gstatic.com/s/notosansmono/v37/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ093dVQ.woff2)}

/* 行の高さを変える */
html { line-height: 1 }
/* テーブルの周りの幅をなくす */
table td, table th { padding: 1px 3px }
/* テーブルの文字を小さくする */
table { font-size: 12px }
/* テキストエリアのフォントをMonoに変更する */
textarea { font-family: Mono, monospace }