Battle interface -- text for divisions

[cabalamat]

Looking at the battle interface, text for divisions looks something like this:

    France Destroyer Division 6 (Scr France Battle Div 5)

There are a number of issues with this:

1. It's rather long. Shorter would look clearer, both on the battle map and on the OB at the left

2. All the words are capitalised. Capitals are for emphasize, but when you emphasize everything, you emphasize nothing

Better would be:

     DD div 6 (scr B div 5)

Because:

1. we know we're France, we don't have to repeat it umpteen times. It might be useful to have name of countries for allies, but this could be an abbreviation, e.g. Fr, USA, etc.

2. div and scr not capitalised; the only thing caitalised is names of countries (which are proper nouns) and ship types, both of which are conventionally capitalised.

3. DD and B are abbreviations we are using in lots of other places, so use them here too.

[rimbecano]

In the English speaking navies, the convention seems to have been to use capitals for each word in the name of a division: the battleship division that the US seconded to the RN in WWI was called "Battleship Division Nine", by the USN and "Sixth Battle Squadron" by the RN, with that capitalization. So we might do:

DD Div 6 (scr B Div 5)

[christian]

also just a nitpick on the game wouldnt it be

French Destroyer Division 6 (Scr French Battle Div 5)¨

instead of

France Destroyer Division 6 (Scr France Battle Div 5)