diff --git a/dot_config/alacritty/alacritty.yml b/dot_config/alacritty/alacritty.yml
index e2df0e3..8ddbd8a 100644
--- a/dot_config/alacritty/alacritty.yml
+++ b/dot_config/alacritty/alacritty.yml
@@ -150,7 +150,7 @@ font:
     #style: Bold Italic
 
   # Point size
-  size: 10
+  size: 8.5
 
   # Offset is the extra space around each character. `offset.y` can be thought
   # of as modifying the line spacing, and `offset.x` as modifying the letter
diff --git a/dot_config/nvim/init.vim b/dot_config/nvim/init.vim
index c80b706..d9ab607 100644
--- a/dot_config/nvim/init.vim
+++ b/dot_config/nvim/init.vim
@@ -13,6 +13,8 @@ exe 'source' (stdpath('config') . '/nerdtree.vim')
 " Plug 'ctrlpvim/ctrlp.vim'
 let g:ctrlp_user_command = 'rg %s --files --color=never --glob ""'
 
+Plug 'FStarLang/VimFStar', {'for': 'fstar'}
+
 " Plug 'jiangmiao/auto-pairs', { 'for': 'rust' }
 " Plug 'kovisoft/slimv', { 'for': 'lisp' }
 " Plug 'leafOfTree/vim-svelte-plugin'