1 files changed, 0 insertions, 97 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/pretty.css b/moon-abe/pbc-0.5.14/doc/pretty.css
deleted file mode 100644
index 69502083..00000000
--- a/moon-abe/pbc-0.5.14/doc/pretty.css
+++ /dev/null
@@ -1,97 +0,0 @@
-body {
-    font-size: 90%;
-    font-family: verdana, arial, sans-serif;
-}
-
-tt, code, pre, .type {
-    font-family: andale mono, courier new, courier, monospace;
-    font-size: 90%;
-}
-
-/* Based on http://phrogz.net/CSS/columns3.html */
-div.toc {
-    float: left;
-    margin: 0;
-    padding: 0;
-    padding-top: 0.5em;
-    border: 0;
-    width: 13em;
-
-    background-color: #f9f9f9;
-    margin-right:1em;
-}
-
-div.content {
-    margin: 0;
-    padding: 0;
-
-    /* won't match if font is smaller in toc */
-    border-left: 13em solid #f9f9f9;
-    padding-left: 1em;
-}
-
-div.content:after {
-    content:' ';
-    clear:both;
-    display:block;
-    height:0;
-    overflow:hidden
-}
-
-div.footer {
-    clear:left;
-}
-
-div.toc ul {
-    list-style: none;
-    padding: 0;
-    margin: 0;
-}
-
-div.toc li ul a, li ul span.currentlink
-{
-    font-weight: normal;
-    font-size: 90%;
-    padding-left: 2em;
-}
-
-div.toc a, span.currentlink{
-    display:block;
-    text-decoration: none;
-    padding-left: 0.5em;
-    color: #0000aa;
-}
-
-span.currentlink {
-    text-decoration: none;
-    background-color: #aaaaf9;
-}
-
-div.toc a:visited {
-    color: #0000aa;
-}
-
-div.toc a:hover {
-    background-color: #f9f9aa;
-}
-
-.literallayout {
-    margin: 0;
-    border: 1px solid #aaaaaa;
-    background-color: #f9f9f9;
-    padding: 0.17em;
-    margin: 1em;
-    margin-right: 3em;
-}
-
-h1, h2, h3, h4, h5, h6 {
-    padding-bottom: 0.17em;
-    margin: 0;
-    font-weight: normal;
-    color: black;
-    border-bottom: 1px solid #aaaaaa;
-}
-
-h3, h4, h5, h6 {
-    border-bottom: 0;
-}