Dokeos extensions : new tools, plugins, stylesheets and icon packs to improve your Dokeos experience.
