html{
    height: 100%;
}
body{
    height: 100%;
    margin: 0;
}
.page-tabs, .page-wrap, .tree-row, .page-container{
	height: 100%;
}
.page-container{
    margin: 50px 0 0 250px;
	height: calc(100% - 50px);
    overflow-y: scroll;
}
.main-content-container{
    padding: 15px;
}
.json-display{
    white-space: pre-wrap;
    width: 50%;
    height: 400px;
}
pre.prettyprint {
    padding: 15px !important;
    border: 1px solid #ccc !important;
}
.btn-group{
    padding: 8px 0;
}
.segment{
    margin-bottom: 15px;
}
.segment > .seg-head{
    padding: 15px;
    background: #163768;
    color: #fff;
}
.segment > .seg-body{
    padding: 15px;
    border: 1px solid #ccc;
}
uif-callout{
    z-index: 9999;
}
.pivot-container{
    padding-top: 15px;
}