Which file contains user settings options in RStudio Server such as appearance theme, code display, etc.: https://i.sstatic.net/GMLop.jpg
OK, I found it:
$ grep -irln "theme" ~/.rstudio /home/rstudio/.rstudio/monitored/user-settings/user-settings