2016-10-24 23:55:21 +02:00
|
|
|
/*******************************
|
|
|
|
User Global Variables
|
2016-12-02 03:35:10 +01:00
|
|
|
*******************************/
|
|
|
|
|
|
|
|
@importGoogleFonts: true;
|
|
|
|
|
|
|
|
@fontName : 'Roboto';
|
|
|
|
|
|
|
|
@emSize : 14px;
|
|
|
|
@fontSize : 13px;
|
|
|
|
|
2016-12-06 02:30:04 +01:00
|
|
|
@primaryColor: @purple;
|
2016-12-02 03:35:10 +01:00
|
|
|
|
|
|
|
@teal: #3891A6;
|
2017-01-02 03:52:22 +01:00
|
|
|
@blue: #3454D1;
|
2016-12-02 03:35:10 +01:00
|
|
|
@red: #EF767A;
|
|
|
|
@pink: #F46197;
|
|
|
|
@yellow: #FDE74C;
|
2017-01-08 02:35:54 +01:00
|
|
|
@grey:#95a5a6;
|
2016-12-02 03:35:10 +01:00
|
|
|
|
|
|
|
/* Microbit.org colors */
|
|
|
|
@orange: #ff8b27;
|
|
|
|
@purple: #6633cc;
|
|
|
|
@green: #00ED00;
|
|
|
|
|
|
|
|
@pageBackground: #fff;
|
|
|
|
|
|
|
|
/*******************************
|
|
|
|
PXT Overrides
|
|
|
|
*******************************/
|
|
|
|
|
2017-01-02 03:52:22 +01:00
|
|
|
/*-------------------
|
|
|
|
Menu
|
|
|
|
--------------------*/
|
|
|
|
|
|
|
|
@mainMenuInvertedBackground: @blue;
|
|
|
|
@mainMenuTutorialBackground: @orange;
|
|
|
|
|
|
|
|
@mainMenuBlocksJsToggleColor: @primaryColor;
|
|
|
|
|
|
|
|
@tutorialSelectedMenuColor: @blue;
|
|
|
|
|
|
|
|
/*-------------------
|
|
|
|
Layout
|
|
|
|
--------------------*/
|
|
|
|
|
|
|
|
@sideBarWidth: 22rem;
|
|
|
|
@simulatorWidth: 27rem;
|
|
|
|
@simulatorWidthSmall: 20rem;
|
|
|
|
|
|
|
|
/*-------------------
|
|
|
|
Background
|
|
|
|
--------------------*/
|
|
|
|
|
2016-12-02 03:35:10 +01:00
|
|
|
@simulatorBackground: #FDFDFF;
|
2017-01-08 02:35:54 +01:00
|
|
|
@editorToolsBackground: @simulatorBackground;
|
2017-01-02 03:52:22 +01:00
|
|
|
@blocklySvgColor: #ecf0f1;
|
|
|
|
|
|
|
|
/*-------------------
|
|
|
|
Side Docs
|
|
|
|
--------------------*/
|
|
|
|
|
|
|
|
@sidedocsButtonsTop: (@mainMenuHeight + 1rem);
|
|
|
|
@sidedocsButtonsRight: 4.25rem;
|
|
|
|
|
|
|
|
/*-------------------
|
|
|
|
Editor
|
|
|
|
--------------------*/
|
|
|
|
|
|
|
|
@blocklyToolboxColor: rgba(0, 0, 0, 0.05);
|
|
|
|
@trashIconColor: @primaryColor;
|