/* Defaults for body of the pages */

h1.OP, h2.OP {
  border-bottom: groove black;
}


div.metatable {
  clear: both;
  border-left: 1px solid rgb(0,0,0);
  border-right: 1px solid rgb(0,0,0);
  border-top: 1px solid rgb(0,0,0);
  background-color: rgb(220,220,220);
  float: right;
  width: 35%;
  margin-left: 2em;
  margin-bottom: 2em;
  font-size: 90%;
}

div.subtable {
  border-bottom: 1px solid rgb(0,0,0);
  padding: 0em 0 0em 1em;
}


div.metatable table {
  margin: 0 0 0 0em;
  padding: 0 0 0 0;
  width: auto;
}

span.label {
  font-weight: bold; 
}

div.problem {
  border: 1px solid black;
  background-color: #d6ebfb;
  margin-top: 1em;
  padding: 0 1em 0 1em;
  width: 57%;
}

div.discussion, div.indiscussion {
  padding-top: 0em;
  margin-top: 0em;
}

div.indiscussion {
  clear: both;
}

div.bibliography {
  margin-top: 5em;
}

/*
div.envtheorem {
  margin-top: 1em;
  margin-bottom: 1em;
  border: 1px solid black;
  background-color: #e5eef4;
  padding: 1em;
  width: 70%;
}
*/

/***************************************
        input form 
***************************************/

div.problem textarea {
  background-color: #f4f6f8;
}

div.title {
  border: 1px solid black;
  background-color: #d6ebfb;
  margin-top: 0em;
  margin-bottom: 0em;
  margin-right: 2cm;
  padding: 0 0 0 1em;
  width: 57%;
}


div.title input {
  background-color: #f4f6f8;
  width: 92%;
}

/* among else, we want to get rid of the Animated throbber 
  (the select part may actually not be needed now, but I don't care) */
div.metatable input.form-autocomplete, 
div.metatable input, 
html.js div.metatable select,
html.js div.metatable select option,
div.metatable textarea {
  background-color: #f4f6f8;
  background-image: none;
}

div.div {
  padding-top: 4px;
}

div.row {
  clear: both;
}

div.row label {
  float: left;
  width: 39%;
  text-align: left;
}

div.vskip {
  clear: both;
  padding-top: 4px;
}

div.row select targets,
div.row select {
  float: left;
  width: 60%;
  padding-right: 0em;
} 

div.row input {
  float: left;
  width: 56%;
  padding-right: 0em;
} 

div.description {
  clear: both;
}

div#solver {
  display: none;
}

div.related input, div.indiscussion textarea, div.bibliography textarea {
  background-color: #f4f6f8;
}

div.related {
  width: 95%;
}