These pages document any stylistic choices we have made and important points to observe when writing code.