/* Default stylesheet
   This file is used as default for all stylesheets and can be overloaded */