1
2GV*orientationButton*forcedWidth:	72
3GV.control.MButton.height:	1
4GV.control.MButton.forcedHeight:	1
5GV.control.MButton.borderWidth:	0
6GV.control.MButton.borderColor:	green
7GV.control.MButton.background:	gray
8GV.control.MButton.topShadowPixel:	gray
9GV.control.MButton.bottomShadowPixel:	darkgray
10GV.borderWidth:	0
11GV.control.borderWidth:	0
12GV.control.viewFrame.borderWidth:	0
13GV.control.viewFrame.viewClip.borderWidth:	0
14GV.control.viewFrame.viewClip.page.borderWidth:	0
15
16GV*control.layout:			\
17|v{					\
18    |h{                                 \
19        fileButton                      \
20        stateButton                     \
21        pageButton                      \
22        orientationButton               \
23        scaleButton                     \
24        pageMediaButton                 \
25    }                                   \
26    |h{                                 \
27        newtocFrame<-[1]*+200[1]-[1]>	\
28        viewFrame<+9999-100%*+9999-100%>\
29    }                                   \
30}
31