/*
 *= require jqtree
 *= require jquery-ui
 *= require jquery.multiselect
 *= require jquery.multiselect.filter
 *= require jquery.qtip
 *= norequire scaffold
 *= require bootstrap
 *= require bootstrap-responsive
 *= require gcms
 */

ul.slugtree ul ul > li {
  margin-left: 0;
}

.regulationslot a {
  display: block;
  width: 100%;
}

ul.slugtree ul ul > li {
  margin-left: 3%;
  width: 97%
}

ul.slugtree ul ul.spannomargin > li {
  margin-left: 0pt;
}

.selected a {
  color:#fff;
}

.sluglist .prefix {
  font-weight: bold;
  margin-right: 10px;
}

.sluglist .collapsed {
  display: inline-block;
  overflow: hidden;
  white-space: nowrap;
  text-overflow: ellipsis;
}

.sluglist li {
  padding: 0px;
  margin: 0px;
}

.regulationslot a {
  color: #666;
  display: block;
}

.WidgetBox {
  .WidgetBoxContent {
    overflow:auto;
    max-height: 500px;
  }

  .WidgetBoxContent {
    width: auto;
  }
  .smallerWidgetBoxHeading {
    margin-bottom: -2px;
  }
}

/*
 *= require jqtree
 *= require jquery-ui
 *= require jquery.multiselect
 *= require jquery.multiselect.filter
 *= require jquery.qtip
 *= norequire scaffold
 *= require bootstrap
 *= require bootstrap-responsive
 *= require gcms
 */

ul.slugtree ul ul > li {
  margin-left: 0;
}

.regulationslot a {
  display: block;
  width: 100%;
}

ul.slugtree ul ul > li {
  margin-left: 3%;
  width: 97%
}

ul.slugtree ul ul.spannomargin > li {
  margin-left: 0pt;
}

.selected a {
  color:#fff;
}

.sluglist .prefix {
  font-weight: bold;
  margin-right: 10px;
}

.sluglist .collapsed {
  display: inline-block;
  overflow: hidden;
  white-space: nowrap;
  text-overflow: ellipsis;
}

.sluglist li {
  padding: 0px;
  margin: 0px;
}

.regulationslot a {
  color: #666;
  display: block;
}

.WidgetBox {
  .WidgetBoxContent {
    overflow:auto;
    max-height: 300px;
  }

  .WidgetBoxContent {
    width: auto;
  }
  .smallerWidgetBoxHeading {
    margin-bottom: -2px;
  }
}

Set max box height to 300px for now.
Set max box height to 300px for now.
