different font versions
use main clipboard
use solarized theme