diff --git a/slf4j-site/src/site/pages/css/site.css b/slf4j-site/src/site/pages/css/site.css index 235b8d252..d2c58a819 100755 --- a/slf4j-site/src/site/pages/css/site.css +++ b/slf4j-site/src/site/pages/css/site.css @@ -1,150 +1,105 @@ +/* + Many thanks to Ian Zamojc izamojc(at)zamtools.com for making + suggestions to improbve the site look and feel. +*/ + + html { - padding:0px; - margin:0px; +/* padding:0px; + margin:0px; */ } body { background-color: #fff; font-family: Verdana, Arial, SunSans-Regular, Sans-Serif; color: #000; - padding:0px; - margin:0px; - font-size: small; -} - -#job img { border:1px solid #DDDDDD; } -#job:hover img { border:1px solid #8888EE; } - -p, h2, pre { - margin: 0px; - padding-top: 5px; - padding-bottom: 5px; - /*padding-left: 1ex;*/ - /*padding: 5px 20px 5px 20px; */ -} - -p.rm { - padding-top: 0px; - padding-bottom: 0px; + padding: 0px; + margin: 0px; + counter-reset: example; /* Create an example counter scope */ } -a { - color: #4183c4; - /*font-size: smaller;*/ - background-color:transparent; - text-decoration: none; +.footer { + color: #564b47; + background-color: #fff; + padding:0px; + border-top: 1px solid #CCCCCC; + margin-top: 3ex; + font-size: smaller; } -#container { - margin-left: auto; - margin-right: auto; - max-width: 90em; - +#job img { + border:1px solid #DDDDDD; } -#content a:hover { - text-decoration: underline; +#job:hover img { + border:1px solid #8888EE; } -.source { - border-top: 1px solid #DDDDDD; - border-bottom: 1px solid #DDDDDD; - background:#f5f5f5; - font-family: Courier, "MS Courier New", Prestige, Everson Monocourrier, monospace; - padding-bottom: 0.5ex; - padding-top: 0.5ex; - padding-left: 1ex; - - margin-left: 0ex; - margin-top: 0.5ex; - margin-bottom: 0.5ex; - white-space: pre; - - -webkit-border-radius: 3px; - -moz-border-radius: 3px; - border-radius: 3px; +p.menu { + padding-top: 0px; + padding-bottom: 0px; + margin-top: 0px; + margin-bottom: 0px; + font-size: smaller; } -pre { - background-color:transparent; - font-family: Monaco, Andale Mono, Courier New, monospace; -} +#container { + display: grid; + grid-template-columns: 15em 1fr 15em; + grid-template-areas: "header header header" + "left content right"; + max-width: 90rem; + margin-left: 1rem; + # margin-right: auto; -.alignright { - margin-top: 0; - text-align: right; - font-size: 10px; } -h1, h2, h3, h4 { - color: #333; -} -h2 { - padding-top:10px; - background-color: transparent; - font-weight: 900; - font-size: x-large; +#header { + grid-column-start: 1; + grid-column-end: 4; } -h3 { - padding-top: 5px; - background-color: transparent; - font-weight: normal; - font-size: large; -} - -h4 { - padding-top:5px; - background-color: transparent; - font-weight: normal; - font-size: large; -} - -table.footer { - width: 100%; +#left { + grid-area: left; + margin: 4px 0px 0px 4px; + padding: 0px; + font-size: 80%; + background-color: #ffffff; } -.footer { - text-align: right; - color: #564b47; - background-color: #fff; - padding:0px; - border-top: 1px solid #CCCCCC; - margin-top: 3ex; - font-size: smaller; +#content { + grid-area: content; + max-width: 60rem; + margin: 0px 1em 0px 1em; + padding: 0px; + line-height: 130%; + background-color: #ffffff; } - -strong { - /*font-size: 13px;*/ - font-weight: bold; +#right { + grid-area: right; + color: #564b47; + margin: 4px 4px 0px 0px; + padding: 0px; + background-color: #ffffff; + #border: 1px solid #cccccc; + font-size: 80%; } -/* positioning-layers static and absolute */ - -#breadcrumbs { - padding: 3px 10px 3px 10px; - margin: 0px 4px 0px 4px; - font-size: small; - border: 1px solid #CCCCCC; - /*border-bottom: 1px solid #aaa; - /* background-color: #ccc; lime; - border-color: #663300;*/ - background-color: #ffd0a0; - /*max-width: 77em;*/ +#headerLine { + background-color:#FFD0A0; + border:1px solid #CCCCCC; + font-size:small; + margin:0 4px; + padding:3px 10px; } -#left { - //position: fixed; - //left: 0px; - float: left; - width: 15em; - margin: 4px 0px 0px 4px; - padding: 0px; - font-size: 80%; - background-color: #ffffff; +a { + color: #4183c4; + background-color:transparent; + text-decoration: none; } .menuGroup { @@ -157,9 +112,8 @@ strong { border-radius: 3px; } -.menuGroup a { +#left a, #right a { display: block; - width: 95.5%; margin: 0px; padding: 2px; border: solid 1px #fff8e8; @@ -167,7 +121,16 @@ strong { text-decoration: none; } -.menuGroup a:hover { +p.menu_header { + margin: 0px; + padding: 2px; + font-weight: normal; + background-color: #ffd0a0; + border-top: solid 1px #CCCCCC; + border-bottom: solid 1px #CCCCCC; +} + +#left a:hover, #right a:hover { border: solid 1px #FFFFFF; background-color: #3333CC; color: #ffffff; @@ -175,30 +138,24 @@ strong { -moz-border-radius: 3px; border-radius: 3px; } - .pub { text-align: center; } #left .pub a:hover { - background-color: transparent; - border: solid 0px #FFFFFF; + background-color: transparent; + border: solid 0px #FFFFFF; } -#left a:hover, #right a:hover { - border: solid 1px #FFFFFF; - background-color: #3333CC; - color: #ffffff; - -webkit-border-radius: 3px; - -moz-border-radius: 3px; - border-radius: 3px; +#left img { + border: none; } #left div.jobadd { - font-size: 160%; + font-size: 140%; color: #fff; margin: 0px; - padding: 1ex; + padding: 0px; text-align: center; -webkit-border-radius: 3px; @@ -219,126 +176,129 @@ strong { border-width: 0px; } -#right { - //position: absolute; - //right: 0px; - float: right; - width: 14em; - color: #564b47; - margin: 4px 4px 0px 0px; - padding: 0px; - background-color: #ffffff; - border: 1px solid #cccccc; - font-size: 80%; -} - -p.menu_header { - margin: 0px; - padding: 2px; - font-weight: normal; - background-color: #ffd0a0; - border-top: solid 1px #CCCCCC; - border-bottom: solid 1px #CCCCCC; -} +/* ------------------------------------------- */ -#content { - margin: 0px 12em 0px 16em; - padding: 0px 2em 0px 0px; - background-color: #ffffff; -} #content img { border:none; margin-left: auto; margin-right: auto; + display: block; } -.author { - text-align: left; - font-weight: bold; -} +span.asGroovy { + background: #fff; + color: #0079C5; + font-family: "Comic Sans MS", sans-serif; + white-space: nowrap; + font-size: 80%; -.definition { - padding-left: 5px; - padding-right: 5px; - margin: 5px 50px 5px 50px; - text-align: justify; - background-color: #E6E64C; + border-top: 2px solid #DDD; + border-left: 2px solid #DDD; + border-right: 2px solid #888; + border-bottom: 2px solid #888; + padding: 0px 1em 0px 1em; + margin: -4px 4px 0 4px; + float: right; } - -.deftitle { - font-weight: bold; + +span.asGroovy:hover { + background: #E0E0EF; + cursor: pointer; } -.big { - font-size: 130%; -} +/* ------------------------------------ */ -.green { - color: green; -} -.blue { - color: blue; +.anchor { display:none; } + + +h1, h2, h3, h4 { + color: #505050; + padding-top: 0ex; + background-color: transparent; } -.red { - color: red; +h2 { + font-weight: 900; + font-size: x-large; } -.bold { - font-weight: bold; +h3 { + font-weight: bold; + font-size: large; } -.redBold { - color: red; - font-weight: bold; +h4 { + font-weight: bold; + font-size: medium; } -.greenBold { - color: green; - font-weight: bold; + +h1 .anchor:before {content:url(anchor24.png);} +h2 .anchor:before {content:url(anchor20.png);} +h3 .anchor:before {content:url(anchor16.png);} +h4 .anchor:before {content:url(anchor12.png);} +td .anchor:before {content:url(anchor12.png);} + +h1:hover .anchor { margin-left: -24px; } +h2:hover .anchor { margin-left: -20px; } +h3:hover .anchor { margin-left: -16px; } +h4:hover .anchor { margin-left: -12px; } +td:hover .anchor { margin-left: -12px; } + +h1:hover .anchor, +h2:hover .anchor, +h3:hover .anchor, +h4:hover .anchor, +td:hover .anchor { + display: inline-block; + text-decoration: none; } -code { - font-family: Courier, monospace; + +div.source { + margin-top: 1em; } +.source, .command, .console { + overflow-x: auto; + border-top: 1px solid #DDDDDD; + border-bottom: 1px solid #DDDDDD; + background: #f5f5f5; + font-family: Courier, "MS Courier New", Prestige, monospace; + padding-left: 1ex; + white-space: pre; + font-size: 16px; +} -.option { - border: 1px solid black; - font-family: Arial, sans-serif; +.source { + padding-bottom: 0.5ex; + padding-top: 0.5ex; } -.highlight { - width: 18em; - float: right; - display: inline; - font-size: 110%; - border: 2px solid #711; - -webkit-border-radius: 4px; - -moz-border-radius: 4px; - border-radius: 4px; - background:#FFE0B0; - padding-top: 1ex; - padding-left: 1ex; - padding-right: 1ex; - padding-bottom: 1ex; - margin-left: 1em; - margin-right: 0em; - margin-bottom: 1ex; +.command { + padding-bottom: 0ex; + padding-top: 0ex; } +.console { +} -.survey { - font-weight: bolder; - font-size: larger; +pre { + overflow-x: auto; + padding: 0px; + margin: 0px; + background-color:transparent; + font-family: Courier, Monaco, Monospace; +} - border:1px solid #cccccc; - background:#FFCC99; - padding-left: 1ex; - padding-right: 1ex; +.alignright { + margin-top: 0; + text-align: right; + font-size: 10px; } + /* ========== body table ============ */ table.bodyTable { padding: 0px; @@ -354,31 +314,28 @@ table.bodyTable th { table.bodyTable td { + vertical-align: text-top; padding-left: 0.5ex; padding-bottom: 0.5ex; } - -/* apply to tr elements of tables which are both bodytable and dark */ -table[class="bodyTable dark"] tr { - background-color: #ddd; +table.bodyTable.rightAlign tr td { + text-align: right; } /* apply to tr elements of tables which are both bodytable and dark */ -table[class="bodyTable properties"] tr { - vertical-align: top; -} - -table.bodyTable tr.a { +table.bodyTable[class="dark"] tr { background-color: #ddd; } -table.bodyTable tr.b { - background-color: #eee; -} +/* table.bodyTable tr.a { background-color: #ddd; } */ +/* table.bodyTable tr.b { background-color: #eee; } */ +/* table.bodyTable tr.alt { background-color: #eee;} */ -table.bodyTable tr.alt { - background-color: #eee; +/* we don't want the first p under td to appear indented */ +table.bodyTable tr td p:first-child { + padding-top: 0px; + margin-top: 0px; } .striped tr:nth-child(odd) td { @@ -387,9 +344,127 @@ table.bodyTable tr.alt { .striped td { background-color: #f0f0f0; } +.striped tr:last-child td { + border-bottom: 2px solid #ddd; +} + +td.word { + text-align: right; +} /* EOF =============== bodyTable =============== */ +/* cosmetics */ + + +.big { + font-size: 130%; +} + + +.green { + color: green; +} + +.white_bg { + background-color: #FFFFFF; +} + +.lgray_bg { + background-color: #EEE; +} + +.blue { + color: blue; +} + +.red { + color: red; +} + +.redBold { + color: red; + font-weight: bold; +} + +.greenBold { + color: green; + font-weight: bold; +} + +.code { + font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace; + background-color: #EEE; +} + +.pattern { + font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace; + background-color: #DDD; +} + +code { + font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace; + background-color: #EEE; +} + + +.variable { + font-family: Courier, monospace; + font-style:italic; +} + + + +.attr { + font-family: Courier, monospace; + font-style:italic; + +} + +.option, .prop { + border-top: 1px dotted #BBBBBB; + border-bottom: 1px dotted #BBBBBB; + border-left: 1px dotted #AAAAAA; + border-right: 1px dotted #AAAAAA; + padding-left: 2px; + padding-right: 2px; + font-family: Arial, sans-serif; +} + +/* background:#FFCC99; */ +.highlight { + width: 18em; + float: right; + display: inline; + font-size: 110%; + + border: 2px solid #711; + -webkit-border-radius: 4px; + -moz-border-radius: 4px; + border-radius: 4px; + background:#FFE0B0; + padding-top: 1ex; + padding-left: 1ex; + padding-right: 1ex; + padding-bottom: 1ex; + margin-left: 1em; + margin-right: 0em; + margin-bottom: 1ex; +} + +.quote { + text-align: right; + padding-left: 12em; +} + +/* --------- numbering --------- */ +.autoEx:before { + counter-increment: example; /* Add 1 to example */ + content: counter(example) +} + + +/** ----------- labels -------- */ .label { padding: 1px 3px 2px; font-size: 9.75px; @@ -402,70 +477,70 @@ table.bodyTable tr.alt { -moz-border-radius: 3px; border-radius: 3px; } + .label.notice { background-color: #62cffc; } -/* ------------------------------------ */ +/* from common.css */ -dt { - border-top: 2px solid #888888; - color: #333; - padding-bottom: 1ex; - padding-top: 1ex; - font-weight: bold; +/* used in example headers */ +.example { + width: 90%; + font-style: italic; } -dd { - margin-top: 1ex; - margin-bottom: 1ex; + +/* for highligting breaking changes */ +div.breaking { + border: 1px solid #F44; + background-color: #FED; + padding-left: 1ex; + padding-right: 1ex; } -/* ------------------------------------ */ -.anchor { display:none; } +table.footer { + width: 100%; +} -h1 .anchor:before {content:url(anchor24.png);} -h2 .anchor:before {content:url(anchor20.png);} -h3 .anchor:before {content:url(anchor16.png);} -h4 .anchor:before {content:url(anchor12.png);} -td .anchor:before {content:url(anchor12.png);} -dt .anchor:before {content:url(anchor12.png);} +.footer { + color: #564b47; + background-color: #fff; + padding:0px; + border-top: 1px solid #CCCCCC; + margin-top: 3ex; + font-size: smaller; +} -h1:hover .anchor { margin-left: -24px; } -h2:hover .anchor { margin-left: -20px; } -h3:hover .anchor { margin-left: -16px; } -h4:hover .anchor { margin-left: -12px; } -td:hover .anchor { margin-left: -12px; } -dt:hover .anchor { margin-left: -12px; } -h1:hover .anchor, -h2:hover .anchor, -h3:hover .anchor, -h4:hover .anchor, -td:hover .anchor, -dt:hover .anchor { - display: inline-block; - text-decoration: none; +p.menu { + padding-top: 0px; + padding-bottom: 0px; + margin-top: 0px; + margin-bottom: 0px; } +.small { + font-size: smaller; +} -/* ------------ twitter button ------- */ -.twitter_button { - vertical-align: text-bottom; - padding-top: 3px; - padding-right: 16px; - float: left; - height: 18px; - text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5); - white-space: nowrap; - background-color: white; - background-image: -moz-linear-gradient(top, #ffffff, #dedede); - background-image: -webkit-gradient(linear, left top, left bottom, from(#ffffff), to(#dedede)); - background-image: -ms-linear-gradient(top, #ffffff, #dedede); - background-image: linear-gradient(top, #ffffff, #dedede); - background-image: -o-linear-gradient(top, #ffffff, #dedede); - border: #CCC solid 1px; - -webkit-border-radius: 3px; - -moz-border-radius: 3px; - border-radius: 3px; +.strong, .bold { + font-weight: bold; +} + +.author { + text-align: left; + font-weight: bold; +} + +.definition { + padding-left: 5px; + padding-right: 5px; + margin: 5px 50px 5px 50px; + text-align: justify; + background-color: #E6E64C; +} + +.deftitle { + font-weight: bold; }