Non ho tempo di fare un'analisi approfondita, ma credo che il trucco stia tutto qui:
codice:
div#navigation{float:right;width: 13em}

div#content{margin-right: 13em;padding: 1em}
Direi che viene dato un margine sufficiente a "scavare" il posto dove inserire il #navigation.