GNOME Tweak Tool을 통해서는 변경할 수 없습니다. 그런데 답을 아는 사람이 있습니까?
답변1
빠르고 더러운 솔루션을 원한다면 편집하세요.
/usr/share/gnome-shell/theme/gnome-shell.css
물론 다음에 gnome-shell 패키지가 업데이트될 때 이 내용을 덮어쓸 수도 있습니다.
더 깔끔한(그러나 조금 더 복잡한) 방법은 자신만의 (미니) 테마를 만드는 것입니다.
http://rlog.rgtti.com/2012/01/29/how-to-modify-a-gnome-shell-theme/