body {
  background: #fff;
}

#mathsbml-toc {
  padding-top: 5pt;
}

td.button { 
  border-top: 1px dotted #888888;
  border-bottom: 1px dotted #888888;
  border-right: 1px dotted #888888;
  border-left: 1px dotted #888888;
  padding-top: 1pt; 
  padding-bottom: 1pt; 
  padding-left: 3pt;
  padding-right: 3pt;
  text-align: center;
  font-size: 9pt;
}

.function {
  font-family: Courier,Monaco, monospace;
  font-size: larger;
  color: purple;
}

.redfunction {
  font-family: Courier,Monaco, monospace;
  color: red;
  font-weight:normal;
}


.blackfunction {
  font-family: Courier,Monaco, monospace;
  color: black;
  font-weight:bold;
}

.greenfunction {
  font-family: Courier,Monaco, monospace;
  color: green;
  font-weight:bold;
}

.bluefunction {
  font-family: Courier,Monaco, monospace;
  color: blue;
  font-weight:bold;
}

.bigblue {
	color: #003399;
	font-size: large;
}