Updated style of dialogs and fixed bug with adding Preconditions and
Postconditions.