* {
 border: 0;
 margin: 0;
 padding: 0;
}

th.executable, th.source {
 width: 26%;
}

.executable {
 background-color: #fdd;
}

.source {
 background-color: #fed;
}

.source a {
 color: #c00;
}

.source a:visited {
 color: #a00;
}

.source a:hover {
 color: black;
}

.provides {
 background-color: #efefdd;
}

.source,.executable, .provides {
 padding: .125em 1em;

 border: 1pt solid black;
}

table {
 width: 80%;
 margin: auto;
 clear: both;
 margin: 1em auto .5em auto;
}

tr,td {
 height: 1.4em;
}