Old get_x_domain. No longer works because margins are nonzero.