// block 
.screen {
  padding: 5px 5px 5px 5px;
  border: outset;
  background-color: #CCCCCC;
  margin-top: 2px;
  margin-bottom: 2px;
  white-space: pre;
}

// inline 
.menucascade {
}

.shortcut {
}

.uicontrol {
}

.wintitle {
  font-weight: bold;
}