Fixed console CSS, updated TEF docs