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
|
|
|
|
|
|
|
/* Blockly Field: Grid picker */
|
|
|
|
.blocklyGridPickerTooltip {
|
|
|
|
padding: 3px 5px;
|
|
|
|
background-color: #fefefe;
|
|
|
|
border: black solid 3px;
|
|
|
|
color: black;
|
|
|
|
border-radius: 10px;
|
|
|
|
}
|