div.NumberPickerView
{
/*    display:inline; */
    margin-top: 5px;
    margin-bottom: 5px;
    float: left;
}


.pickerCaption, .pickerIBDD
{
    float:left;
}

.pickerCaption
{
    margin-right:2px;
    margin-top:5px;
}


div.pickerInputBox
{
    float:left;
    display:inline-block;
}

div.pickerDropDown
{
    float:left;
/*    clear:left; */
}

.pickerSelect, .pickerTextBox
{
    padding-left:0px;
    width:40px;
    border: solid 1px gray;
}

.pickerTextBox {
    text-align: right; /* for numbers */
/*    padding-top: 1px; */
/*    padding-bottom: 1px; */
}

.penThickness input {
    text-align: right; /* for numbers */
}