Gnome设置

可以用chrome-gnome与chromium配合使用来管理 gnome的一些插件。

gnome中的panel设置，我觉得字太小了。

修改shell theme文件夹下的 xxx-shell.css

搜索：stage，修改字体大小。