body {
  margin: 0px;
}
#navAndControls {
    font-size: 150%;
}
#TOP_CONTAINER {
  width: 100%;
  height: 100%;
}
col:first-child {background: #FF0}
col:nth-child(2n+3) {background: #CCC}
tr:nth-child(even) {background: #FFF}
tr:nth-child(odd) {background: #EEE}
tr:first-child {background: #CCC}
.NEG-Background {
  fill: #EEEEEE;
}
.node {
  stroke: #fff;
  stroke-width: 1.5px;
}
.node text {
  stroke-width: 0px;
  pointer-events: none;
  font: 10px sans-serif;
  text-anchor: middle;
  dominant-baseline: middle;
  fill: white;
}
.link {
  stroke: #999;
  stroke-opacity: .6;
}

.ToolAvailable circle {  
  // fill: see noobPRM.coffee
}
.ToolInUse circle {   
  //fill: none; 
  // stroke: see noobPRM.coffee

}
.SomeTool text {
  //stroke-width: 0px;
  pointer-events: none;
  font: 10px sans-serif;
  text-anchor: middle;
  dominant-baseline: middle;
  fill: black;
}
.NID-InputID:before {
  content: '('
}
.NID-InputID:after {
  content: ')'
}
.NID-InputID {
  padding-left: 4px;
  font-size: 60%;
}
.Prm-InputPrompt {
  padding-left: 20px;
  font-size: 80%;
}
.adw-Widget {
  padding-left: 20px;
}
.eg-InputExample:before {
  content: 'eg:';
  padding-right: 5px;
}
.eg-InputExample, .SID-SubjectIdentifiers {
  font-size: 80%;
  padding-left: 20px;
  font-style: italic;
}
.SID-SubjectIdentifiers:before {
  content: 'ie:';
  padding-right: 5px;
}
.SID-SubjectIdentifiers a {
  padding-left: 2px;
}
.CIF {
  position:relative;
  left:0;
  top:0;
  width: 400px;
  background-color: white;
  border-width: 2px;
  border-color: black;
}
.CIF h1 {
  font-size: 120%;
  margin-top: 2px;
  margin-bottom: 0px;
}
.CIF h1 a {
  font-family: monospace;
  font-size: 110%;
}
.CIF form {
  padding-left: 15px;
}
.DSC-Description {
  padding-left: 20px;
  font-size: 80%;
}
.fullscreen_editor { 
  position: relative;
  top: 0;
  right: 0;
  bottom: 0;
  left: 0;
}
.editor { 
  position: absolute;
  top: 100;
  right: 90;
  bottom: 600;
  left: 200;
}
.Create {
  background-color: lightgreen;
}
.Button {
  margin-top: 5px;
  padding: 5px;
  border:2px solid;
  border-radius:25px;
}