<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/**************************************************************************
 * user structure formatting 
 *************************************************************************/

fieldset {
  background-color: #cffacf;
  border: 1px navy solid;
  border-radius: .5em;
  margin: .5em 0 0 0;
}

fieldset legend {
  color: #803333;
  font-weight: bold;
}

/**************************************************************************
 * collection styling
 *************************************************************************/

div[class~="collectionmgr"] {
  width: 35%;
}

/* collection styling */

div[class~="collection_manager"] {
  display: inline;
  vertical-align: top;
}

ul[class~="collection_ul"] {
  margin-top: .2em;
}
ul[class~="search_collection_ul"] {
  margin-top: .2em;
  min-height: 1em;
}

div[class~="collectioncontainer"] {
  background-color: #dfd;
  border-bottom: navy 1px dashed;
  border-left: navy 1px dashed;
  /* display: table-cell; */
  margin-bottom: .25em;
  padding: 3px;
}


div[class~="problem_manager"] {
  /* background-color: #d3fee5; */
  display: inline;
  clear: both;
  float: right;
  margin: -4px 0 0 1em;
  margin-left: 2em;
  padding: 3px;
  width: auto;
}

div[class~="problemcontainer"] {
  clear: both;
  display: inline-block;
  min-height: 30px;  /* this is probably a mistake; takes height fr img size */
  vertical-align: top;
}

ol[class~="problemlist"] {
  margin-top: .25em;
  margin-bottom: .25em;
}
ol[class~="sortable_problemlist"] {
  margin-top: .25em;
  margin-bottom: .25em;
  min-height: 1em;
}

/* 
ol.problemlist li.placeholder, ol.sortable_problemlist li.placeholder {
  display: none;
  height: 1em;
}
 */

span[class~="collectionname"] {
  color: #803333;
  font-style: italic;
  font-weight: bold;
}

/**************************************************************************
 * copyright
 *************************************************************************/


/**************************************************************************
 * group styling
 *************************************************************************/

ul[class~="group_ul"] {
  margin-top: .2em;
}

span[class~="groupname"] {
  color: #803333;
  font-style: italic;
  font-weight: bold;
}

span[class~="groupuserlist"] {
  color: #555;
  font-size: 95%;
  font-style: italic;
}

div[class~="group_manager"] {
  display: inline;
  vertical-align: top;
}

div[class~="groupmgr"] {
  width: 35%;
}

/**************************************************************************
 * user pref styling
 *************************************************************************/

/* fieldset#preferences label {
  
} */</pre></body></html>