summaryrefslogtreecommitdiff
path: root/addons/web_editor/static/src/less/web_editor.less
diff options
context:
space:
mode:
authorqsm-odoo <qsm@odoo.com>2016-02-24 11:51:43 +0100
committerqsm-odoo <qsm@odoo.com>2016-02-24 13:09:48 +0100
commit5b65befcd889139152c590490fb8965c9f4b5279 (patch)
tree8c82983ec486274372db96a70620805e3ea80454 /addons/web_editor/static/src/less/web_editor.less
parent40334b3342df66ff93e511a97107e6df6c209e21 (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.less63
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