html,
body{
    height:100%;
    /* The html and body elements cannot have any padding or margin. */
}

.centered{
    text-align:center;
}

.selected{
    background-color:#f5f5f5;
}

/*override animation duration for the following elements*/
#workspace, #schema-div,
#about, #contact, #accountDetails{
    -webkit-animation-duration: 0.25s;
    -moz-animation-duration: 0.25s;
	-o-animation-duration: 0.25s;
	animation-duration: 0.25s;
}

#schema-background {
    min-height: 350px;
}

/*since angularjs and browsers have diferent rules to conssider an input valid,
we override the red border set by the browser (in invalid input fields)
with the same border but set by angular*/
input.ng-dirty.ng-invalid {
    color: #b94a48;
    border-color: #e9322d;
    -webkit-box-shadow: 0 0 6px #f8b9b7;
     -moz-box-shadow: 0 0 6px #f8b9b7;
          box-shadow: 0 0 6px #f8b9b7;
}

.cursor-pointer{
    cursor:pointer;
}

.cursor-default{
    cursor:default;
}

/*sticky left side list of schemas*/
.sidebar-nav-fixed {
    position:fixed;
    width:21.97%;
    min-width: 241px;
}

.paginator{
    white-space:nowrap;
    min-width: 241px;
}

/*override bootstrap.css '<pre>' tags to scroll horizontaly 
  instead of wrapping the text to the page*/
pre {
    overflow-x: auto;
    overflow-wrap: normal;
    word-wrap: normal;
}
/*override bootstrap.css '<pre><code>' tag sequence not to use transparent
  background (removes lag in google Chrome) and not to wrap text on white spaces.*/
pre code {
    background-color: inherit;
    white-space: pre;
    /*the following is used for the background of the code odd lines, to occupy entire document width */
    float:left;
    min-width: 100%;
}


/* Wrapper for page content to push down footer */
#wrap{
    min-height:100%;
    height:auto !important;
    height:100%;
    /* Negative indent footer by it's height */
    margin:0 auto -60px;
}

/* Set the fixed height of the footer here */
#pushh,
#pushf,
#footer{
    height:60px;
}
#footer{
    background-color:#f5f5f5;
    padding-top:20px;
}

/* Lastly, apply responsive CSS fixes as necessary */
@media (max-width: 767px) {
    #footer{
        margin-left:-20px;
        margin-right:-20px;
        padding-left:20px;
        padding-right:20px;
    }
}

@media (max-width: 979px) {
    #pushh{
        height:0px;
    }
}

@media (max-width: 1009px) {
/* override the class definition for the first level divs of the workspace
   so that they stack instead of overlaping when the media width is too low */
  #workspace-main-row .workspace-master-div {
    display: block;
    float: none;
    width: 100%;
    margin-left: 0;
    -webkit-box-sizing: border-box;
       -moz-box-sizing: border-box;
            box-sizing: border-box;
  }
  .sidebar-nav-fixed {
      position:static;
      width:auto;
  }

}