/* Copyright 1998-2015 Northwoods Software Corporation. All Rights Reserved. */

body {
 

}

p {
  max-width: 700px;
}

p.box {
  border: 1px solid #BBB;
  padding: 4px 4px 6px 4px;
}

p.warning {
  background-color: #FCD5CD
}

.diagramContainer {
  border : solid 0px white;
}
pre {
  font-size : 20px;
}

.footer {
  text-align: right;
  font-size: 20px;
}

/* new: */

#sample {
  margin-left: 0px;
}

#menu {
  white-space: normal;
  overflow: visible;
  border: 0px solid #DDD;
  padding: 0px;
  margin-right: 0px;
  background-color: #F9F9F9;
  width: 0px;
  float: left;
}

#sections {
  list-style-type: none;
  font-size: 20px;
  padding: 0px;
  margin: 0px;
  line-height: 1.3em;
}

a { text-decoration: none; }
a:hover { text-decoration: underline; }

a li { color: red; }
a li:hover, a li:focus { background: #CEDFF2; }
a li.selected { background: #1E90FF; color: white }


.index {
  margin-top: 0px;
}