@import url(https://fonts.googleapis.com/css?family=PT+Sans:400,400italic);
/*content moved to theme-body.less*/

/*this should be kept here. from some reason it interfiers with less*/
.widget-tree {
    height: -moz-calc(100% - 52px);
    height: -webkit-calc(100% - 52px);
    height: calc(100% - 52px);
    width: -moz-calc(100% + 25px);
    width: -webkit-calc(100% + 25px);
    width: calc(100% + 25px);
    overflow: auto;
    padding-left: 10px;
    padding-top: 10px;
}

.extra-margin-bottom {
    margin-bottom: 15px;
}