diff options
| author | qsm-odoo <qsm@odoo.com> | 2016-02-24 11:51:43 +0100 |
|---|---|---|
| committer | qsm-odoo <qsm@odoo.com> | 2016-02-24 13:09:48 +0100 |
| commit | 5b65befcd889139152c590490fb8965c9f4b5279 (patch) | |
| tree | 8c82983ec486274372db96a70620805e3ea80454 /addons/web_editor/static/src/less/web_editor.less | |
| parent | 40334b3342df66ff93e511a97107e6df6c209e21 (diff) | |
[REF] web,web_editor,website,report,mass_mailing,mail: LESS
* Convert some CSS to LESS
* Split/Join LESS files
* Remove duplicates between website and web_editor
* UI improvements
* Allow simple customizations thanks to LESS var&mixins for website
Diffstat (limited to 'addons/web_editor/static/src/less/web_editor.less')
| -rw-r--r-- | addons/web_editor/static/src/less/web_editor.less | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/addons/web_editor/static/src/less/web_editor.less b/addons/web_editor/static/src/less/web_editor.less deleted file mode 100644 index 760108b9e61..00000000000 --- a/addons/web_editor/static/src/less/web_editor.less +++ /dev/null @@ -1,63 +0,0 @@ -// Generate all margins for all sizes -.o-margins-all(@factor: 1) { - // Unfortunately, the margins sizes are not - // mathematically related by a single function - .o-margins(128, @factor); - .o-margins(96, @factor); - .o-margins(92, @factor); - .o-margins(64, @factor); - .o-margins(48, @factor); - .o-margins(32, @factor); - .o-margins(24, @factor); - .o-margins(16, @factor); - .o-margins(8, @factor); - .o-margins(4, @factor); - .o-margins(0, @factor); -} - -// Generate all margins for one size, scalled by a -// given factor (0 <= factor <= 1) -.o-margins(@name, @factor: 1) { - .o-margins-define(@name, @factor * @name); -} - -// Generate all margins for one size, given -// the name of the margin and intended size -.o-margins-define(@name, @size: @name) { - .mt@{name} {margin-top: ~"@{size}px"!important;} - .mb@{name} {margin-bottom: ~"@{size}px"!important;} - .ml@{name} {margin-left: ~"@{size}px"!important;} - .mr@{name} {margin-right: ~"@{size}px"!important;} -} - -// Generate all margins -.o-margins-all(); - -// It is possible to change the margins ratio for -// small screen sizes using media queries, e.g.: -// @media (max-width: 768px) { -// .o-margins-all(0.75); -// } - -// It is also possible to only redefine single margins -// for small screen sizes using media queries, e.g.: -// @media (max-width: 768px) { -// .o-margins(64, 0.50); -// .o-margins(48, 0.50); -// } - -// It is also possible to directly redefine the size -// of single margins instead of refering to a factor -// for small screen sizes using media queries, e.g.: -// @media (max-width: 768px) { -// .o-margins-define(128, 48); -// .o-margins-define(96, 48); -// .o-margins-define(64, 48); -// } - -a.o_underline { - text-decoration: underline; - &:hover { - text-decoration: underline; - } -}
\ No newline at end of file |
