/* ioblocks.css
 *
 * Defines styles used with the input/output blocks.
 */
 

/* standard output. \begin{output} .... */
div.plg-stdout {
  width: 600px;
  padding: 6px;
  margin-left: 30px;
  background-color: #F0F0F0;
  border-radius: 7px;
  overflow: hidden;     
}

div.plg-stdout pre,
div.plg-userinput pre,
div.plg-terminal pre,
div.plg-cmdline pre {
  margin: 0px;
}

/* stdin - \begin{userinput} ... */
div.plg-userinput {
  margin-left: 2em;
  margin-bottom: 2ex;
  margin-top: 1ex;
  padding: 6px;
  background-color: #F8F8F8;  
}

/* terminal output  \begin{terminal} ... */
div.plg-terminal {
  width: 75%;
  padding: 6px;
  margin: auto;
  border: 1px solid #AAA;
/*  background-image: url("/pub/textbook/topbar.png");
  background-size: cover; */
  background-color: #f3f2eb; /*#EEE;*/
}

div.plg-terminal .text {
  background-color: white;
  border: 1px solid #CCC;
  border-radius: 7px;
  padding: 1ex;
  box-shadow: 2px 2px 5px #CCC;
}

div.plg-cmdline {
  font-size: 1em;
  margin-left: 2em;
  margin-right: 2em;
  border: 1px dashed #0E6E3E; 
  background-color: #F8F8F8;
  padding: 0.75ex;
}