Direct link to the theme file is https://github.com/claroline/ExampleBundle/blob/master/Resources/views/less/example/theme.less