From 9062dad43612275bd6a26e33c7ca369c99eab1f6 Mon Sep 17 00:00:00 2001
From: Aaron Gutierrez <gutierrez.aaron.m@gmail.com>
Date: Wed, 29 Mar 2017 15:14:46 -0400
Subject: [PATCH 1/2] higher contrast light mode

---
 .vimrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.vimrc b/.vimrc
index 3bae233..285f013 100644
--- a/.vimrc
+++ b/.vimrc
@@ -53,7 +53,7 @@ execute "set rtp+=" . g:opamshare . "/merlin/vim"
 
 " set light mode?
 if !empty($LC_LIGHT_BG)
-	colorscheme solarized
+	colorscheme default
 	let g:airline_theme='solarized'
 	set background=light
 endif

From 2f47e15c43d314541480467f1b6dcd6f5d0b2b35 Mon Sep 17 00:00:00 2001
From: Aaron Gutierrez <gutierrez.aaron.m@gmail.com>
Date: Thu, 4 May 2017 21:30:16 -0400
Subject: [PATCH 2/2] Map F5 to delete trailing whitespace

---
 .vimrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.vimrc b/.vimrc
index 285f013..c4bcd55 100644
--- a/.vimrc
+++ b/.vimrc
@@ -40,6 +40,9 @@ if exists('+mouse')
 else
 endif
 
+" F5 to trim trailing whitespace
+map <silent> <F5> :let _s=@/ <Bar> :%s/\s\+$//e <Bar> :let @/=_s <Bar> :nohl <Bar> :unlet _s <CR>
+
 " NERDTree binding
 map <C-n> :NERDTreeToggle<CR>