Child theme for the WordPress default theme twenty thirteen