Ichthyostega 8b6991e0f5 ElementBox: establish basic styling ... We are using buttons now, but the standard theme introduces a lot of padding arount button's contents. Thus we need to consider ways to address the compound of widgets forming an ElementBox; moreover, this is the classical situation where the BEM notation helps to clarify the intention.... The problem leading to custom styling here is the padding within buttons; the default stylesheet seemingly adds a min-width and min-height setting, and some padding within the Button; based on systematic CSS class names, it is possible to remove these settings specifically for buttons within the IDLabel in general (no need to treat only the case of an EventBoxLabel -- IDLabel could become a custom widget on its own		2022-10-02 03:57:16 +02:00
..
design	ElementBox: extract builder qualifier support as library implementation	2022-08-28 23:36:27 +02:00
devel	DOC: update and rework documentation regarding command access	2021-04-16 18:14:33 +02:00
technical	ElementBox: establish basic styling	2022-10-02 03:57:16 +02:00
user	C++17: some related clean-up	2020-02-21 23:55:09 +01:00
.gitignore	infrastructure to test the documentation standalone	2018-11-01 04:38:17 +01:00
DIR_INFO
index.txt	Global-Layer-Renaming: fix remaining textual usages and IDs in the code	2018-12-10 00:09:56 +01:00
SConscript