Jupyter NoteBook 폰트 변경 방법

C:\Users\사용자\.jupyter\custom 폴더에 custom.css 파일을 만들고 다음과 같이 설정하면 된다고 하는데...

.CodeMirror pre {font-family: Consolas; font-size: 11pt; line-height: 110%;}

이 방법이 한번에 적용되지 않아서 한참 삽질을 하다가 주피터 테마를 한번 설정했다가 해제한 뒤, 생성된 파일에(기본 파일들이 생성된다) 저 코드를 추가하니 적용이 잘 되었다.

테마 설정 방법

>pip install jupyterthemes
>jt -l //테마 리스트 보기
>jt -t onedork //onedork 테마 적용
>jt -r //테마 되돌리기

참고로 테마는 그렇게 이쁜게 없다... 개인적으로