trix_student: Tuned margin below pre and code examples.