rem: var value = choice.getAttribute("value"); 
add: var value = choice.value; 
context: function DoMenulistCommand(elt, property, id) {  var choice = elt.selectedItem;  var value = choice.getAttribute("value");  onPullDownChanged(property, value, id);  if (property == "border-top-style") {    // this one is a special case : we need to check if the checkbox    // "all sides have same style" is checked ; if it's checked, make    // the other 3 sides acquire the style assigned to the top border    IfFourSidesSameStyle('border', 'style', value,                         'allFourBordersSame', id, null);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/340ad084bbbd70bba8a580612b0c9969ad757723/commonCssProps.js/buggy/extensions/editor/cascades/resources/content/commonCssProps.js