# The "skin" configuration exported from # repository "/home/mario/fossil.d/canonic_autoloader.fossil" # on 2014-02-19 04:40:24 config /config 7730 1392576171 'css' value '/* General settings for the entire page */ body { margin: 0ex 1ex; padding: 0px; background-color: white; font-family: sans-serif; } /* The project logo in the upper left-hand corner of each page */ #logo { text-align: center; vertical-align: bottom; font-weight: bold; color: #f90; padding: 5px 20px 0px 0px; } /* The page title centered at the top of each page */ .title { font-size: 2em; font-weight: 200; color: #333; vertical-align: bottom; width: 100% ; position: relative; top:30px; } .title b { font-weight: 800; } /* The login status message in the top right-hand corner */ .status { display: table-cell; text-align: right; vertical-align: bottom; color: #ff9900; font-size: 0.8em; font-weight: bold; min-width: 200px; white-space: nowrap; } /* The header across the top of the page */ header, .header { display: table; width: 100% ; } /* The main menu bar that appears at the top of the page beneath ** the header */ nav, .mainmenu { padding: 5px 10px 5px 10px; font-size: 0.9em; font-weight: bold; text-align: center; letter-spacing: 1px; } /* The submenu bar that *sometimes* appears below the main menu */ .submenu, .sectionmenu { padding: 3px 10px 3px 0px; font-size: 0.9em; text-align: center; background-color: #ff9900; color: white; } .mainmenu a, .mainmenu a:visited, .submenu a, .submenu a:visited, .sectionmenu>a.button:link, .sectionmenu>a.button:visited { padding: 3px 10px 3px 10px; color: white; text-decoration: none; } .mainmenu a:hover, .submenu a:hover, .sectionmenu>a.button:hover { color: #ff9900; background-color: white; } /* All page content from the bottom of the menu or submenu down to ** the footer */ .content { padding: 0ex 1ex 0ex 2ex; } /* Some pages have section dividers */ div.section { margin-bottom: 0px; margin-top: 1em; padding: 1px 1px 1px 1px; font-size: 1.2em; font-weight: bold; background-color: #ff9900; color: white; white-space: nowrap; } /* The "Date" that occurs on the left hand side of timelines */ .divider { border-radius: 4px; color: #750; background: #ffeecc; border: 2px #f90 solid; font-size: 1em; font-weight: normal; padding: .25em; margin: .2em 0 .2em 0; float: left; clear: left; white-space: nowrap; } /* The footer at the very bottom of the page */ footer, .footer { clear: both; } /* verbatim blocks */ pre.verbatim { background-color: #f5f5f5; padding: 0.5em; } /* The label/value pairs on (for example) the ci page */ table.label-value th { vertical-align: top; text-align: right; padding: 0.2ex 2ex; } /* Side-by-side diff */ table.sbsdiff { background-color: white; font-family: fixed, Dejavu Sans Mono, Monaco, Lucida Console, monospace; font-size: 8pt; border-collapse:collapse; white-space: pre; width: 98%; border: 1px #000 dashed; margin-left: auto; margin-right: auto; } table.sbsdiff th.diffhdr { border-bottom: dotted; border-width: 1px; } table.sbsdiff tr td { white-space: pre; padding-left: 3px; padding-right: 3px; margin: 0px; vertical-align: top; } table.sbsdiff tr td.lineno { text-align: right; } table.sbsdiff tr td.srcline { } table.sbsdiff tr td.meta { background-color: rgb(170, 160, 255); text-align: center; } table.sbsdiff tr td.added { background-color: rgb(180, 250, 180); } table.sbsdiff tr td.addedvoid { background-color: rgb(190, 190, 180); } table.sbsdiff tr td.removed { background-color: rgb(250, 130, 130); } table.sbsdiff tr td.removedvoid { background-color: rgb(190, 190, 180); } table.sbsdiff tr td.changed { background-color: rgb(210, 210, 200); } table.sbsdiff tr td.changedvoid { background-color: rgb(190, 190, 180); } /********************************* * * SO lookalike. * */ html { } body { padding: 0; margin: 0; } body, p, article, td { font-family: Arial; font-size: 14px; color: #111; } p, article { line-height: 175%; } li { margin-bottom: 5pt; } .container { margin-left: auto; margin-right: auto; width: 960px; clear: both; } a { text-decoration: none; font-weight: 700; color: #07c; } a:visited { color: #468; } .header { background: #eee; color: #999; padding: 2px 0; } #title { float: left; color: #666; font-weight: 700; margin: 3px; } .badge1 { color: #fd5; } .badge2 { color: #ccc; } .badge3 { color: #c96; } #logo { height: 100px; } #navlist { padding-top: 55px; } #navlist a { color: #ffffff; font-weight: 900; font-size: 130%; padding: 4px 15px; background: #777; } #navlist a.current, #navlist a:hover { background: #f90; } #navlist a.last { margin-left: 50px;; } .mainbar { width: 730px; float: left; padding-top: 10px; } .sidebar { width: 220px; float: right; } .topic { padding: 22pt 0 15pt 0; border-bottom: 1px solid #999; } .topic tt, .topic kbd { font-size: 80%; color: #555; background: #f7f7f7; margin-left: 30px; display: block; } .topic-options a, .topic-options { color: #aaa; font-weight: 100; padding-top: 30px; } ul.topic-list { margin-top: 20pt; padding: 0; } #helpbox { background: #fec; border-radius: 5px; padding: 10px; margin-top: 15px; color: #750; } #helpbox h4 { color: #a00; font-size: 140%; margin: 0; } .tag { padding:2px 5px; background:#e1e9f1; color:#58a; border:1px outset #cde; } input[type=submit] { border: 1px solid black; padding: 3px 10px; font: normal normal bold 140% "Trebuchet MS", sans-serif; } textarea { border: 1px solid #999; border-bottom: 7px solid #ddd; } #footer-spacer { clear: both; padding-top: 130px; } footer { clear: both; background: #555; padding: 65px 275px; border-top: 9px solid black; color: #eee; } footer p { color: #999; } footer a, footer a:visited { color: #fec; } footer ul { list-style-type: square; padding: 0; } footer li { display: inline; padding-right: 10pt; } footer li:before { color: #f73; content: "⬛ "; } footer li:nth-child(even):before { color: #fc9; } footer li:nth-child(3):before { color: #57f; } footer li:nth-child(4):before { color: #6f7; } #main { padding-top: 30px; min-height: 700px; } #main .content { padding-top: 15pt; padding-bottom: 50pt; } h2.subtitle { font-size: 24px; font-weight: 700; display: inline; border-bottom: 1px solid #999; } .submenu { display: inline; background: white; border: 1px #fff solid; border-bottom: 1px #999 solid; } .submenu a, .submenu a:visited { font-size: 18px; font-weight: 200; color: black; } .submenu a:hover { border: 1px #666 solid; border-bottom: white; } code { background: #eee; } pre { background: #f3f3f3; padding: 3pt; } ul { margin-top: 3pt; } .search-result { padding: 5pt; } .search-result a { font-size: 140%; font-weight: 300; } .search-link a { font-weight: 100; font-size: 60%; color: #337733; } .search-excerpt { color: #333; } .search-headline { font-size: 300%; color: #999; letter-spacing: 5pt; } .search-excerpt ins { text-decoration: none; font-style: italic; font-weight: 700; color: #aa3322; }' config /config 2954 1392772139 'header' value '