diff options
Diffstat (limited to '')
-rw-r--r-- | docs/podstyle.css | 107 |
1 files changed, 0 insertions, 107 deletions
diff --git a/docs/podstyle.css b/docs/podstyle.css deleted file mode 100644 index 1cecdfb..0000000 --- a/docs/podstyle.css +++ /dev/null @@ -1,107 +0,0 @@ -/* For accessibility reasons, never specify text sizes in px/pt/pc/in/cm/mm */ - -@media all { .hide { display: none; } } - -@media screen, tty, tv, projection { - .noscreen { display: none; } - - a:link { color: #7070ff; text-decoration: underline; } - a:visited { color: #e030ff; text-decoration: underline; } - a:active { color: #800000; text-decoration: underline; } - body.contentspage a { text-decoration: none; } - a.u { color: #000 !important; text-decoration: none; } - - body.pod { - margin: 0 5px; - color: #000; - background-color: #fff; - } - - .pod pre { - background: #eeeeee; - border: 1px solid #888888; - color: black; - padding: 1em; - white-space: pre; - } - - body.pod h1, body.pod h2, body.pod h3, body.pod h4 { - font-family: Tahoma, Verdana, Helvetica, Arial, sans-serif; - font-weight: normal; - margin-top: 1.2em; - margin-bottom: .1em; - border-top: medium solid transparent; - /* margin-left: -5px; border-left: 2px #7070ff solid; padding-left: 3px; */ - } - - body.pod h1 { border-top-color: #55f; } - body.pod h2 { border-top-color: #77f; } - body.pod h3 { border-top-color: #bbf; } - body.pod h4 { border-top-color: #eef; } - - p.backlinktop + h1 { border-top: none; margin-top: 0em; } - p.backlinktop + h2 { border-top: none; margin-top: 0em; } - p.backlinktop + h3 { border-top: none; margin-top: 0em; } - p.backlinktop + h4 { border-top: none; margin-top: 0em; } - - body.pod dt { - font-size: 105%; /* just a wee bit more than normal */ - } - - .indexgroup { font-size: 80%; } - - .backlinktop, .backlinkbottom { - margin-left: -5px; - margin-right: -5px; - background-color: #bbf; - border-top: medium solid #aaf; - border-bottom: medium solid #aaf; - } - - .backlinktop a, .backlinkbottom a { - text-decoration: none; - color: #77f; - background-color: #fff; - border: medium solid #22f; - } - .backlinkbottom { margin-bottom: 0; padding-bottom: 0; } - .backlinktop { margin-top: 0; padding-top: 0; } - - body.contentspage { - color: #000; - background-color: #fff; - } - - body.contentspage h1 { - color: #22f; - margin-left: 1em; - margin-right: 1em; - text-indent: -.9em; - font-family: Tahoma, Verdana, Helvetica, Arial, sans-serif; - font-weight: normal; - border-top: medium solid #000; - border-bottom: medium solid #000; - text-align: center; - } - - dl.superindex > dt { - font-family: Tahoma, Verdana, Helvetica, Arial, sans-serif; - font-weight: normal; - font-size: 90%; - margin-top: .45em; - /* margin-bottom: -.15em; */ - } - dl.superindex > dd { - word-spacing: .6em; /* most important rule here! */ - } - dl.superindex > a:link { - text-decoration: none; - color: #000; - } - - .contentsfooty { - border-top: medium solid #666; - font-size: 90%; - } - -} |