Newer
Older
.vpadding {
padding-top: 20px;
padding-bottom: 20px;
}
.hpadding {
padding-right: 20px;
padding-left: 20px;
}
.schema-info {
border-bottom: 1px solid #ddd;
padding: 20px 20px 0 0;
}
.table-info {
padding: 20px 20px 0 0;
}
.columns-header {
.columns-header div {
font-size: 24px;
padding: 20px;
}
.columns-header-name {
width: 450px;
position: absolute;
top: 0;
bottom: 0;
}
.columns-header-properties {
margin-left: 450px;
border-left: 1px solid #ddd;
}
.columns-selector {
width: 450px;
position: absolute;
top: 0;
bottom: 0;
overflow-y: auto;
}
.columns-selector .nav-pills li {
position: relative;
}
.columns-selector .nav-pills li input {
position: absolute;
top: 6px;
left: 6px;
width: 20px;
height: 20px;
}
.columns-selector .nav-pills .column-name {
margin-left: 20px;
.column-info {
margin-left: 450px;
padding: 20px;
border-left: 1px solid #ddd;
input.changed {
border-color: #1b00ff;
border-style: dashed;
#info-panel {
position: fixed;
top: 0;
bottom: 0;
left: 0;
right: 0;
z-index: 1000;
padding: 30px 100px;
background-color: rgba(255, 255, 255, 0.75);
#info-panel .alert {
box-shadow: #797979 3px 3px 10px;
}
.clickable-input {
cursor: pointer;
}
/* UCD Flags colours */
.flagP {background-color: #ccccff;}
.flagQ {background-color: #eeeeee;}
.flagS {background-color: #ffcccc;}
.flagE {background-color: #ffff99;}
.flagC {background-color: #ccff99;}