pre.bash {
background-color: black;
color: greywhite;
font-family: Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New, monospace;
}
@import url('https://fonts.googleapis.com/css2?family=Noto+Sans+JP&display=swap');
body {
font-family: 'Noto Sans JP', sans-serif;
font-size: 14pt;
}