.Xctrl1 {
	background-color: #d7ffd7; vertical-align: top; padding-bottom: 2px;
	border-color: #cec; border-style: solid; border-width: 0 0 1px 0;
}

.Xctrl2 { background-color: #f2fff2; }
.Xdot { color: #00f; padding-left: 5px; padding-right: 5px; }
.Xset { color: #008000; padding-left: 10px; padding-right: 10px; }

.Xtop { border-top: #cec solid 1px; }
.Xrt { border-right: #cec solid 1px; }
.Xbot { border-bottom: #cec solid 1px; }
.Xleft { border-left: #cec solid 1px; }