.unmanned { font-family: "Times New Roman", Georgia, Times }
.manned { font-weight: bold; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
.robotted { font-style: italic; font-family: "Times New Roman", Georgia, Times }