Font Type, Colour and Size of device names on map

Hello Anton. Which file has the above details. I wish to change the font of the device names that appear on the map along as the device icons. Which exact file has these definitions? I tried checking a lot of files. I'm more oriented towards the backend java code, my experience with Js and Sencha Framework is limited, but if you point me in the right direction i'll know what to do.

It's either set in map controller class, or comes as a default from OpenLayers library.

It's not in the map controller class, what is the way to override it if it comes as a default from openlayers?

I don't know the answer to that. You would need to research it yourself.

Hey, I just discovered where their definitions are in the software. There in the Style.js of the app directory.

mapTextColor: 'rgba(0, 0, 255, 1.0)',
mapTextStrokeColor: 'rgba(50, 50, 50, 1.0)',
mapTextStrokeWidth: 2,
mapTextOffset: 2,
mapTextFont: '13px sans-serif',

The funny thing is even if I change them, they don't change of the map even after restarting the server. How do I make it respect the change in the Styles?

You need to compile minified version of the web app or use debug mode.

Thanks.