Making the font size smaller on linux boxes
Merge branch 'master' of https://github.com/ssbanerje/dotfiles

* 'master' of https://github.com/ssbanerje/dotfiles:
  submodule update
  adding random number generation
submodule update