/* This stylesheet originally emulated the Joomla website. While it is not used by
   the current site in any way, it is called by so many PHP files, that it can't be 
   safely removed. I therefore reduced the contents to 0. scr 5 Sep 2019 */


html {
  height: 100%;
  margin-bottom: 1px;
}