c_meyer/pxt-ev3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Include Open Sans font and some UI tweaks reducing white space in the editor. (#312)

Browse Source
This commit is contained in:
Sam El-Husseini
2018-02-08 09:35:27 -08:00
committed by Peli de Halleux
parent c9f6d873b1
commit f53dbf4d83
12 changed files with 313 additions and 325 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
theme/style.less
View File

@ -15,12 +15,14 @@
Add your custom CSS here
*******************************/
/* Roboto font */
@RobotoFont: data-uri("../docs/static/fonts/Roboto_400_normal.woff");
/* Open Sans font */
@font-face {
font-family: 'Roboto';
src: @RobotoFont format("woff");
font-family: 'Open Sans';
font-style: normal;
font-weight: 400;
src: local('Open Sans Regular'), local('OpenSans-Regular'),
data-uri('../docs/static/fonts/Open_Sans/OpenSans-Regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
data-uri('../docs/static/fonts/Open_Sans/OpenSans-Regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
.ui.button.download-button {
@ -72,6 +74,10 @@
color: @blue;
}
.menubar .ui.item.editor-menuitem .item.toggle {
height: 45px;
}
.sandboxfooter a:not(.thin) {
color:white !important;
}
@ -82,6 +88,14 @@
text-transform: lowercase;
}
#filelist {
background: @simulatorBackground data-uri("../docs/static/backgrounds/simulator.png") 0 0 repeat !important;
}
#downloadArea {
background: white;
}
/* Mobile */
@media only screen and (max-width: @largestMobileScreen) {
#filelist {
@ -95,15 +109,15 @@
/* Small Monitor */
@media only screen and (min-width: @computerBreakpoint) and (max-width: @largestSmallMonitor) {
#filelist, #downloadArea {
border-top: 2px solid #ECF6FF;
#editortools, #downloadArea {
background: #828A95;
}
}
/* Large Monitor */
@media only screen and (min-width: @largeMonitorBreakpoint) {
#filelist, #downloadArea {
border-top: 2px solid #ECF6FF;
#editortools, #downloadArea {
background: #828A95;
}
}
/* Mobile, Tablet AND thin screen */