/* Swish-e CSS based on: */ /************************************************* * TITLE: Prosimii Alternative Screen Stylesheet * * URI : prosimii/prosimii-screen-alt.css * * MODIF: 2004-Apr-28 21:56 +0800 * *************************************************/ .clearfix:after { content: "."; display: block; height: 0; font-size: 0; clear: both; visibility: hidden; } .clearfix {display: inline-block;} body { font-family: arial, helvetica, sans-serif; font-size: 100.1%; margin: 0; padding: 0; } /* Hides from IE5/Mac \*/ * html .clearfix {height: 1px;} .clearfix {display: block;} /* End hide from IE5/Mac */ /* ----- layout -------- */ /* wraps side-bar and content-area */ #body-area { width: 100%; margin: 0; padding: 0; margin-top: 1em; } /* wraps main-copy */ #content-area { float: right; width: 80%; margin: 0; padding: 0; } #side-bar { float: right; width: 19%; margin: 0; padding: 0; } #main-copy { margin-left: 1em; margin-right: 1em; } /* ------------------ */ acronym, .titleTip { border-bottom: 1px dotted rgb(61,92,122); cursor: help; margin: 0; padding: 0 0 0.4px 0; } a { color: rgb(61,92,122); background-color: transparent; text-decoration: none; margin: 0; padding: 0 1px 2px 1px; } a:hover { color: rgb(117,144,174); text-decoration: underline; } ol { margin: 1em 0 1.5em 0; padding: 0; } ul { list-style-type: square; margin: 1em 0 1.5em 0; padding: 0; } dl { margin: 1em 0 0.5em 0; padding: 0; } ul li { line-height: 1.5em; margin: 1.25ex 0 0 1.5em; padding: 0; } ol li { line-height: 1.5em; margin: 1.25ex 0 0 2em; padding: 0; } dt { font-weight: bold; margin: 0; padding: 0 0 1ex 0; } dd { line-height: 1.75em; margin: 0 0 1.5em 1.5em; padding: 0; } .doNotDisplay { display: none !important; } /* #### search form #### */ .srchform { margin: 0px; } input.button { /* font-size: 80%; */ color: rgb(61,92,135); border-style: outset; border-width: 1px; border-color: #004186; background-color: white; } input.button:hover { /* font-weight: bold; */ color: rgb(193,102,90); /* font-size:9px; */ background-color: #e5ecf9; border-style: inset; /* letter-spacing: -0.5px */ } /* ##### Header ##### */ .superHeader { color: rgb(130,128,154); background-color: rgb(33,50,66); text-align: right; margin: 0; padding: 0.5ex 10px; } .superHeader span { color: rgb(195,196,210); background-color: transparent; font-weight: bold; text-transform: uppercase; } .superHeader a { color: rgb(195,196,210); background-color: transparent; text-decoration: none; margin: 0; padding: 0 0.25ex 0 0; } .superHeader a:hover { color: rgb(193,102,90); background-color: transparent; text-decoration: none; } .midHeader { color: white; background-color: rgb(61,92,135); margin: 0; padding: 0.26ex 10px; } .headerTitle { font-size: 400%; margin: 0; padding: 0; } .headerSubTitle { font-size: 151%; font-weight: normal; font-style: italic; margin: 0 0 1ex 0; padding: 0; } .headerLinks { text-align: right; margin: 0; padding: 0 0 2ex 0; position: absolute; right: 1.5em; top: 3.5em; } .headerLinks a { color: white; background-color: transparent; text-decoration: none; margin: 0; padding: 0 0 0.5ex 0; display: block; } .headerLinks a:hover { color: rgb(195,196,210); background-color: transparent; text-decoration: underline; } .subHeader { color: white; background-color: rgb(117,144,174); margin: 0; padding: 0.5ex 10px; } .subHeader a, .subHeader .highlight { color: white; background-color: transparent; font-size: 110%; font-weight: bold; text-decoration: none; margin: 0; padding: 0 0.25ex 0 0; } .subHeader a:hover, .subHeader .highlight { /*color: rgb(255,204,0); */ color: rgb(195,196,210); background-color: transparent; text-decoration: underline; } /* ##### Side Menu ##### */ #side-bar ul { color: rgb(204,204,204); background-color: transparent; list-style-type: square; list-style-position: inside; border: 1px solid rgb(204,204,204); margin: 0 5px 15px 0; } #side-bar ul ul { border: none; } /* floating turned off for documentation pages */ /* NOTE this doesn't work in MSIE */ /* .floating { position: fixed !important; } */ /* disabled for now */ #side-bar a { text-decoration: none; } #side-bar:hover { color: rgb(117,144,174); background-color: transparent; border-color: rgb(117,144,174); } #side-bar li { margin: 0; /* padding: 0.75ex 0 1ex 1.75ex; */ /* esp with documentation sublinks, this gets too long */ padding: 0 0 0 1ex; } #side-bar li:hover { color: rgb(61,92,122); background-color: transparent; } #side-bar li a:hover { text-decoration: underline; } /* indicate the parent of a submenu when not active */ /* play with these at your whimsey */ #side-bar li.menuparent > a { font-style: italic; /* font-weight: bold; */ } #side-bar li.menuparent > a.thisfile { font-style: normal; font-weight: normal; } /* turn 'off' link for current page */ #side-bar li a.thisfile { text-decoration: none; color: black; } #side-bar li a.thisfile:hover { text-decoration: none; color: black; } /* documentation submenu */ ul.submenu { /* font-size: 80%; */ padding: 0 0 0 0; margin: 0; list-style-type: circle; } li.submenu { /* font-size: 80%; */ text-indent: 4pt; padding: 0 0 0 0; margin: 0; } /* TOC at top of each POD page */ ul.toc li { padding: 0 0 0 0; margin-left: 12pt; margin-top: 0; margin-bottom: 0; } ul.toc li a { text-decoration: none; } ul.toc li a:hover { text-decoration: underline; } /* ##### Documentation #### */ /* the Doc defs were originally for a new 'make html' build from POD. Keeping here for reference. */ div.doc { /* mostly to give us a sane margin on left/right */ text-align: left; margin: 8px; } div.navbar { text-align: center; } /* ##### Main Copy content ##### */ #main-copy h1 { color: rgb(117,144,174); background-color: transparent; font-family: arial, helvetica, sans-serif; font-size: 186%; margin: 0; padding: 1.5ex 0 0 0; } #main-copy h2 { color: rgb(61,92,122); background-color: transparent; font-family: arial, helvetica, sans-serif; font-weight: normal; font-size: 151%; margin: 0; padding: 1ex 0 0 0; } #main-copy p { line-height: 1.5em; margin: 1em 0 1.5em 0; padding: 0; } #main-copy p.quote { line-height: 1em; padding: 1ex; margin: 0; padding: 1em 2em; background-color: rgb(239,239,239);; } .more { text-align: right; margin: 0; padding: 0.5em 0; } .more a { color: rgb(61,92,122); background-color: transparent; /* font-size: 92%; */ text-decoration: underline; margin: 0; padding: 0.25ex 0.75ex; } .more a:hover { color: rgb(117,144,174); text-decoration: none; } /* ##### Footer ##### */ #footer { color: rgb(51,51,102); background-color: rgb(239,239,239); font-size: 87%; text-align: center; line-height: 1.25em; padding: 1ex 10px; clear: both; } #footer a { color: rgb(0,68,204); background-color: transparent; text-decoration: underline; } #footer a:hover { text-decoration: none; } /* graphics page */ div.graphtitle { text-align: center; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 10px; } /* For header on file lists (like download and swish-daily ) */ .dirHeader { color: white; background-color: rgb(117,144,174); padding: 0.5ex 10px; margin-bottom: 10ex; /* How do I get this to work??? */ } /* For <pre> sections on the pod docs */ pre { background: #eeeeee; border: 1px solid #888888; color: black; padding: 1em; white-space: pre; } /* ## Search Results ## */ form#searchform { margin-bottom: 2em; } div.search-page { /* enclosing div */ margin: 2em 2em 0 0em; padding: 3px 3px 3px 3px; /* background-color: #eeeeee; */ /* border: 1px solid black; */ } .search-message { /* error messages, and "No Results" */ color: red; text-align: center; font-size: 150%; } .search-header { /* Results for "foo" page 1 */ font-size: 130%; background-color: #EEEEEE; padding-left: 5px; } .search-results { /* contains all results */ margin-top: 2em; } .search-result { /* each result */ margin-bottom: 2em; } /* search links -- is this the right format ?? */ div.search-result a { text-decoration: none; } div.search-result a:hover { text-decoration: underline; } h2#result-heading { font-size: 100%; border-bottom: 1px solid gray; } h2#result-heading a:hover { text-decoration: none; } #showform, #hideform { text-decoration: underline; font-size: 80%; color: rgb(61,92,122); } .search-rank { color: gray; font-size: 85%; } .search-description { margin-top: 1em; margin-bottom: 1em; margin-left: 2em; max-width: 700px; /* not supported by IE */ /* what kind of black magic is this? */ /* width:expression(document.body.clientWidth > 600? "600px": "auto" ); */ } .search-metadata { margin-left: 2em; font-size: 0.8em; color: green; } .search-metadata a { text-decoration: none; color: green; } .highlight { background : #FFFF99; font-weight: bold; } span.indxtype { /* for ID'ing the search results according to index */ color: gray; font-size: 90%; } #archive { margin-left: 1em; margin-right: 1em; font-size: .85em; } #archive ul li { margin: 0 0 0 3em; } #archive tr:hover { background: #eee; } #archive #listheader, #archive .head { border-bottom: 1px solid gray; margin-bottom: 1em; }