How much is appropriate to tip a server at a restaurant with average service?

Most people thinks less then 10% is appropriate to tip a server at a restaurant with average service.