2017-08-11 01:02:31 +02:00
|
|
|
@import 'themes/default/globals/site.variables';
|
|
|
|
|
@import 'themes/pxt/globals/site.variables';
|
|
|
|
|
@import 'site/globals/site.variables';
|
|
|
|
|
|
|
|
|
|
@import 'blockly-core';
|
|
|
|
|
|
|
|
|
|
/*******************************
|
2018-04-21 19:25:43 +02:00
|
|
|
Blockly CSS
|
2017-08-11 01:02:31 +02:00
|
|
|
*******************************/
|
|
|
|
|
|
2018-04-21 19:25:43 +02:00
|
|
|
/* Reference import */
|
|
|
|
|
@import (reference) "semantic.less";
|
2017-08-11 01:02:31 +02:00
|
|
|
|
2018-10-01 23:40:16 +02:00
|
|
|
|
|
|
|
|
text.blocklyText {
|
|
|
|
|
font-weight: 600;
|
|
|
|
|
text-rendering: optimizeLegibility;
|
|
|
|
|
-webkit-font-smoothing: subpixel-antialiased;
|
|
|
|
|
-webkit-font-smoothing: antialiased;
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-11 01:02:31 +02:00
|
|
|
/* Blockly Field: Grid picker */
|
|
|
|
|
.blocklyGridPickerTooltip {
|
|
|
|
|
padding: 3px 5px;
|
|
|
|
|
background-color: #fefefe;
|
|
|
|
|
border: black solid 3px;
|
|
|
|
|
color: black;
|
|
|
|
|
border-radius: 10px;
|
2018-05-11 03:49:59 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Led field editor */
|
|
|
|
|
.blocklyLedOn {
|
|
|
|
|
stroke: white;
|
|
|
|
|
stroke-width: 1px;
|
2017-08-11 01:02:31 +02:00
|
|
|
}
|
