Remap PrtSc key for Thinkpad X230
Use solarized light theme with Gnome terminal