Windows Phone 8.1 application, pivot margins?

Question

What are the fonts and margins for PivotTitle and PivotItemHeaders?

I expected them to be here , but they are not there.

Answer 1

Thanks to malte for a hint. Figured out that pivot headers have no margins at all, everything is set by default. Though, PivotItems has margin "19,14.5,0,0". I'm a bit surprised, because i remember a hint from WP 7.5 that all margins should be even, and left one should be 24, i think. Though, neither 19, not 14.5 are even :)