*** xdvik-20a/xdvik/xdvi.h.ORIG Fri May 15 21:51:00 1998 --- xdvik-20a/xdvik/xdvi.h Fri May 15 22:16:56 1998 *************** *** 757,763 **** #ifdef BUTTONS #ifdef TOC #ifdef SMALL_PANEL ! #define XTRA_WID 130 #else #define XTRA_WID 155 #endif --- 757,763 ---- #ifdef BUTTONS #ifdef TOC #ifdef SMALL_PANEL ! #define XTRA_WID 128 #else #define XTRA_WID 155 #endif *** xdvik-20a/xdvik/toc.c.ORIG Fri May 15 22:44:41 1998 --- xdvik-20a/xdvik/toc.c Fri May 15 22:46:32 1998 *************** *** 322,328 **** XtNallowVert, True, XtNforceBars, True, #ifdef SMALL_PANEL ! XtNx, 56, #else XtNx, 78, #endif /* SMALL_PANEL */ --- 322,328 ---- XtNallowVert, True, XtNforceBars, True, #ifdef SMALL_PANEL ! XtNx, 62, #else XtNx, 78, #endif /* SMALL_PANEL */