/* CSS Document */

#publications li {list-style:disc; }

/*#people h3 {font:Arial, Helvetica, sans-serif; font-size:larger; text-decoration:underline; } */

html {overflow-y:scroll; }

#largerfont {font-size:1.2em; }
#smallerfont {font-size:smaller; }