5 commits

Author	SHA1	Message	Date
Richard Hansen	8e5fd19db2	lint: Run eslint --fix on src/	2020-11-24 20:06:12 +00:00
Sebastian Castro	5fd6aeeea6	css: refactor element positioning ... No more javascript to change css properties Remove a number of useless tables Try to stop positioning elements with absolute, but use flex-boxes instead Adds comment to pad template, and move popups and chatbox inside editorcontainerbox (so absolute positioning is straightforward) Make the design more consistent: always use base color, font-family and font-size. USe relative font size if necessary (.9rem instead of 11px for example) Remove two columns in the popups, just use one column Remove css meant to support old browser (like -webkit-box-shadow, -moz-box-shadow). Those css rules are quite common now, and If we want to support very old browser, we should use clean-css or other tools to add them automatically	2020-04-19 03:03:44 +02:00
muxator	312c72c364	formatting: bulk remove trailing whitespaces ... Do not touch vendorized files (e.g. libraries that were imported from external projects). No functional changes. Command: find . -name '*.<EXTENSION>' -type f -print0 | xargs -0 sed -i 's/[[:space:]]*$//'	2019-10-20 02:09:22 +02:00
Sebastian Castro	2ce195747b	skins: Fixes #3510 show/hide line numbers	2018-11-15 11:34:32 +01:00
muxator	aba1c6f8bd	skins: moved "static/custom" -> "static/skins/no-skin" ... The old empty skin created by the startup scripts becomes the default: no-skin.	2018-08-26 21:17:04 +02:00