templates/static/style-coal.css

8508:8c5e32a4f2f9

  border-right: 15px solid black;
  border-bottom: 15px solid black;
}

#.main {
  width:98%;
}

.overflow {
  width: 100%;
  overflow: auto;

  font-family: monospace;
  white-space: pre;
  padding: 1px 4px;
  font-size: 90%;
}
.sourcefirst { border-bottom: 1px solid #999; font-weight: bold }
.sourcelast { border-top: 1px solid #999; }
.source a { color: #999; font-size: smaller; font-family: monospace;}
.bottomline { border-bottom: 1px solid #999; }

.fileline { font-family: monospace; }

  border-left: 3px solid #999;
  margin: 1em 0 1em 0;
  padding: .3em;
}

div#wrapper {
	position: relative;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	margin: 0;

8509:5cd232ebc317

  border-right: 15px solid black;
  border-bottom: 15px solid black;
}

#.main {
  width: 98%;
}

.overflow {
  width: 100%;
  overflow: auto;

  font-family: monospace;
  white-space: pre;
  padding: 1px 4px;
  font-size: 90%;
}
.sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
.sourcelast { border-top: 1px solid #999; }
.source a { color: #999; font-size: smaller; font-family: monospace;}
.bottomline { border-bottom: 1px solid #999; }

.fileline { font-family: monospace; }

  border-left: 3px solid #999;
  margin: 1em 0 1em 0;
  padding: .3em;
}

/* Graph */
div#wrapper {
	position: relative;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	margin: 0;