1 files changed, 108 insertions, 0 deletions
diff --git a/info2html.css b/info2html.css
new file mode 100644
index 0000000..9276348
--- /dev/null
+++ b/info2html.css
@@ -0,0 +1,108 @@
+
+/*
+  This is the CSS file for documents generated by info2html and infocat.
+  Put this wherever you like in your web server, just so long as
+  info2html.conf's $HTML_HEAD_STUFF has the right URL for linking to it.
+  By default, info2html.conf assumes this will be in the document root,
+  and called info2html.css
+
+  Most of this is by Sean Burke (sburke@cpan.org), 2006.
+  You are very welcome to modify it to your tastes.
+
+  You can even do without this file altogether; just mod $HTML_HEAD_STUFF
+  to not link to any stylesheet at all.
+*/
+
+@media print {
+  .nav, .generator { display: none }
+  * {
+    color: #000 !important;
+    background-color: #fff !important;
+    border-color: #000 !important;
+  }
+
+  /* body { font-size: smaller; }  */
+}
+
+@media screen {
+  /* body { font-size: smaller; } */
+
+  body {
+    color:            #ffffff;
+    background-color: #22095b;
+  }
+  body.error { font-size: 150%; }
+  body.error > h1 {
+    border-top:  .2em #f00 dashed;
+  }
+
+  a { color: white; }
+  a:link    { color: #d5d5ff !important; text-decoration: underline;}
+  a:visited { color: #c8a0ff !important; text-decoration: underline;}
+  a:active  { color: #ffa0a0 !important; text-decoration: underline;}
+  h1,h2 {
+    margin-top: .2em;
+    padding-top: .2em;
+    border-top: 2px #888 solid;
+  }
+  .navbottom {
+    border-top: 2px #888 solid;
+  }
+  .nav a {
+    padding-left:  .6em;
+    padding-right: .6em;
+    white-space: nowrap;
+    line-height: 1.5em;
+  }
+  .nav em { font-size: smaller; }
+  .nav {
+    text-align: center;
+  }
+  h1 { background-color: #000000; }
+  h2 { background-color: #040040; }
+}
+
+
+.icon {
+  background-color: #000;
+  color: #0dd !important;
+  padding: 0px 4px;
+  border: 1px #0dd solid;
+  text-decoration: none !important;
+}
+
+a:hover > .icon, a:focus > .icon {
+  background-color: #009 !important;
+  border-color: #3ff;
+  color: #3ff !important;
+}
+
+h2 .base { padding-right: .5em;  }
+
+ul { margin-top:    .7em; }
+li { margin-bottom: .7em; }
+
+h1,h2 {
+  margin-bottom: .2em;
+  padding-bottom: 0;
+  text-align: center;
+}
+
+h3 {
+  margin-bottom: 0;
+  padding-bottom: 0;
+  margin-left: 5em;
+  font-style: italic;
+}
+
+pre {
+  margin-top: 0;
+  margin-bottom: 0;
+  padding-top: 0;
+  padding-bottom: 0;
+}
+
+img {  background-color: #888; vertical-align: middle; }
+.generator { color: #888; font-size: smaller; text-align: right; }
+
+/* End */