/**************************************************************************
 * structural formatting 
 *************************************************************************/

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

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

div#copyright {
  background-color:#dfd;
  border-left: dashed 1px black;
  border-radius: .5em;
  clip:auto;
  color: navy;
  float: right;
  font-size: 85%;
  font-style: italic;
  height: auto;
  margin: 1em;
  overflow: hidden;
  padding: .5em;
  width: 50%;
}

div#statementcontent {
  /* border-bottom: #aaa 1px solid; */
  border-top: #aaa 1px solid;
  /* margin-bottom: .5em; */
  margin-top: .5em;
  /* padding-bottom: .5em; */
  padding-top: .5em;
}
div#hintcontent {
  margin-bottom: .5em;
}

div#problemstatement, div#solutiondata, div#hintdata {
  width: 50%;
}
div#statementpreview, div#solutionpreview, div#hintpreview {
  display: inline-block;
  width: 50%;
}
div#previewstatementtext, div#previewsolutiontext, div#previewhinttext {
  background-color: #dfd;
  margin: .25em .5em 0 0;
  padding: 0 .5em;
}

div#trailer {
  border-top: #aaa 1px solid;
  clear: both;
  margin-top: .5em;
  padding-top: .5em;
}
div#availabilitydata {
  border-top: #aaa 1px solid;
  border-bottom: #aaa 1px solid;
  margin-bottom: .5em;
  margin-top: .5em;
  padding-bottom: .5em;
  padding-top: .5em;
}

textarea#keywordsinput {
  font-size: 85%;
  vertical-align: top;
}

textarea.defaulttext {
  color: #888;
}

div.texsnippet {
  background-color: #eee;
  border: 1px #888 dashed;
  font-family: monospace;
  margin: 0 .5em;
  padding: .25em;
}

ol#filelist {
  margin: 0;
}

br.clear {
  clear: both;
}
br.spacer {
  margin: .5em 0;
}