/* PivotTool docs — extra styles */