There are 2 main reasons to use a specific indentation style:
a) It is better readable (objectively)
b) It is, if you're re used to this style. It may be a different style, but a style, which is consistent over a project.
Part I means, not to glue everything together:
int x=l*(1-i)-k(9);
int x = l * (1 - i) - k (9);
To know where you're will find the closing bracket for a opening one, and vice versa, without decorating your code with
} // end if
and where the code, belonging to that bracket, is indented.
IMHO, for C, there are two big schools: K&R and Allman-Style. The main difference is:
KAndR (void) {
Allman ();
}
Allman (void)
{
KAndR ();
}
It is needed for fast orientation, not for looking nice.
There is, escpecially for C-programs, the program gnu-indent, which can be configured to indent in different styles. Ask her to use it before submitting something to you, or else do it yourself. Eclipse has such a thing built in for Java-code. I would reject improper formatted code. That she profits at most from proper code is something she should learn fast, if she is reusing her own, unformatted code.
Some Conventions are just conventions, and useful if followed by the whole community. For example a constant needn't be named by capitals, but if I read MAXAGE, and can rely on the thesis, it is a const, I save much time, compared with searching.
Variable names are harder to get right. But as a rule of thumb: For loop-counters, i and n are perfect. Most other values should carry meaningful names.