This repository has been archived on 2025-04-25. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Nicolas F 27eabb08a5 web_assets: make poi control icons look less bad ...

using rem here is probably wrong because we want to be the height
of the line in the span we're inside of, not of some global thing.

Also, add a margin to the left.

2020-07-01 18:59:34 +02:00

..

js_src

Add Icons to POI Legend

2020-03-02 13:45:01 +01:00

textures

textures: greatly simplify find_file and friends

2019-07-04 18:24:57 +02:00

web_assets

web_assets: make poi control icons look less bad

2020-07-01 18:59:34 +02:00