.Emphasis { color: red }
.NavBarData { font-family: Times, "Times New Roman", Georgia, serif; background-color: #bbefff }
.NotYet { color: #999 }
#PromptPopUp     { background-color: #ffc; text-align: left; padding: 0.5ex; border: solid thin #000; position: absolute; top: 0px; left: 0px; visibility: hidden; display: block }
body { background-color: white }
p { }
td { }
.Pushed   { background-color: silver; border: inset thick silver; cursor: pointer  }
.Popped   { background-color: silver; border: outset thick silver; cursor: pointer  }
.ButtonTray { background-color: silver; clear: both; padding: 2px; border: none }
.Tiny { font-size: xx-small }
.Problem  { color: red; font-weight: bold }