lpn.css

div.source {
  position: relative;
  margin: 10px 2ex;
  border: 1px solid #888;
  background-color: #eee;
  padding: 4px 8px;
  border-radius: 5px;
}

/* Edited by TW. */
div.answer {
  position: relative;
  margin: 10px 2ex;
  border: 1px solid #888;
  background-color: #eee;
  padding: 4px 8px;
  border-radius: 5px;
}

/* End of edition */

pre.query, pre.source, pre.verbatim {
  margin: 0px;
  /* Enforce scrolling
   * https://stackoverflow.com/questions/
   * 10251369/css-max-height-and-overflow-auto-always-displays-vertical-scroll
   * line-height:normal;
   */
  max-height: 450px;
  overflow: auto;
}

.guessed {
  outline: 1px dotted green;
}

/* div.query {
 *   position: relative;
 *   width: 80%;
 *   display: inline-block;
 * }
 */

div.open-prolog {
  width: auto;
  display: inline-block;
  position: relative;
}

div.open-prolog.swish {
  width: 80%;
}

div.open-prolog div.load {
  top: -7px;
  right: -37px;
}

/* div.query.swish, */
div.source.swish {
  padding: 8px 8px;
}

div.source iframe, div.query iframe {
  border-radius: 5px;
  box-sizing: border-box;
}

pre.source, pre.query {
  width: 100%;
}

div.load {
  position: absolute;
  top: 5px;
  right: 5px;
  width: 32px;
  height: 32px;
  background-image: url("./lpn-run.png");
  background-repeat: none;
  background-size: 100%;
}

div.query div.load {
 top: -5px;
}

div.source.swish div.load,
div.query.swish div.load,
div.answer.swish div.load,
div.open-prolog.swish div.load {
  background-image: url("./lpn-close.png");
}

div.ui-resizable-s {
}


    /*******************************
    *          DISCLAIMER          *
    *******************************/

div.swish-disclaimer {
  font-size: 80%;
  font-family:Helvetica,sans-serif;
  color: #444;
  padding: 0px 5%;
}

div.github {
  padding-top: 5px;
  text-align: center;
  margin: auto;
}

div.github > span {
}

div.github iframe {
  vertical-align: top;
  border: 0px;
}

div.content {
  background-image: url("testing-version.png");
  background-size: 50%;
}



    /*******************************
    *        MODAL DIALOGUE        *
    *******************************/

#overlay {
  position:fixed;
  top:0;
  left:0;
  width:100%;
  height:100%;
  background:#000;
  opacity:0.5;
  filter:alpha(opacity=50);
}

#modal {
  position:absolute;
  background:url(tint20.png) 0 0 repeat;
  background:rgba(0,0,0,0.2);
  border-radius:14px;
  padding:8px;
}

#content {
  border-radius:8px;
  background:#fff;
  padding:20px;
}

#close {
  position:absolute;
  background:url("./lpn-close.png") 0 0 no-repeat;
  width:24px;
  height:27px;
  display:block;
  text-indent:-9999px;
  top:-7px;
  right:-7px;
}

pre.source,pre.swish {
  /*display: none;*/
  /*display: block;*/
}