+++ /dev/null
-// Copyright 2008, 2009 Bernie Innocenti <bernie@codewiz.org>
-//
-// FIXME: The following JS snippet is harder to pass than ACID 3
-
-var guru = document.getElementById('guru');
-
-// Firefox 2.0 doesn't take border-color, but returns border-top-color fine
-var color = document.defaultView.getComputedStyle(guru,null).getPropertyValue('border-top-color');
-
-function guruOn() {
- guru.style.setProperty('border-color', color, '');
- setTimeout('guruOff()', 1000);
-}
-function guruOff() {
- guru.style.setProperty('border-color', '#000000', '');
- setTimeout('guruOn()', 1000);
-}
-// Safari 2.0 returns this rgba crap
-// Konqueror 3.5.6 doesn't seem to support computed properties
-if (color && color != 'rgba(0, 0, 0, 0)') {
- //window.alert("enabled! color='" + color + "'");
- guruOn();
-}
+++ /dev/null
-AmigaBoing.ico
\ No newline at end of file
+++ /dev/null
-AmigaBoing.png
\ No newline at end of file
+++ /dev/null
-/*
- * Author: Gerardo Poggiali <g.poggiali@develer.com>
- * Author: Bernie Innocenti <bernie@codewiz.org>
- */
-
-body {
- font-family: sans-serif;
- background-color: #F0F0F8;
- color: #000000;
- margin-top: 0px;
- margin-left: 0px;
- margin-right: 0px;
-}
-
-a { color: #1010FF; }
-a:visited { color: #501080; }
-a.nonexistent { color: #D04040; }
-a.navlink { color: #000088; font-size: smaller; font-weight: bold}
-a.external { font-style: italic; }
-a.heading { text-decoration: none; color: #aaaaaa; font-size: smaller; }
-
-h1 {
- font-size: x-large;
- font-weight: bold;
- color: #3377FF;
- border: #5599EE;
- background-color: #C2E2FF;
-
- margin-bottom: 0.2em;
- margin-top: 2em;
- padding-right: 10px;
- padding-left: 10px;
-
- border-top-width: 1px;
- border-bottom-width: 1px;
- border-right-width: 0px;
- border-left-width: 0px;
- border-style: solid;
-}
-
-h2 {
- font-size: large;
- font-weight: bold;
- color: #22AA33;
- border: #22AA33;
- background-color: #E8F8F0;
-
- margin-left: 5px;
- margin-right: 5px;
- margin-bottom: 0.1em;
- margin-top: 2em;
- padding-right: 10px;
- padding-left: 10px;
-
- border-top-width: 1px;
- border-bottom-width: 1px;
- border-left-width: 0px;
- border-right-width: 0px;
- border-style: solid;
-}
-
-h3 {
- font-size: large;
- font-weight: bold;
- color: #DD2255;
- border: #BB5599;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-right: 5px;
- padding-left: 5px;
-
- border-top-width: 0px;
- border-bottom-width: 1px;
- border-right-width: 0px;
- border-left-width: 0px;
- border-style: solid;
-}
-
-h4 {
- font-size: medium;
- font-weight: bold;
- color: #2222AA;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-right: 5px;
- padding-left: 5px;
-
- border: #333399;
- border-top-width: 0px;
- border-bottom-width: 1px;
- border-right-width: 0px;
- border-left-width: 0px;
- border-style: solid;
-}
-
-h5 {
- font-size: medium;
- font-weight: bold;
- color: #222288;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-right: 5px;
- padding-left: 5px;
-}
-
-/* Heading anchors */
-.heading:link, .heading:visited {
- border: none;
- color: #d7d7d7;
- font-size: .8em;
- vertical-align: text-top;
-}
-* > .heading:link, * > .heading:visited {
- visibility: hidden;
-}
-
-h1:hover .heading, h2:hover .heading, h3:hover .heading,
-h4:hover .heading, h5:hover .heading, h6:hover .heading {
- visibility: visible;
-}
-
-strong.DONE {
- padding-left: 0.1em;
- background-color: #22ee22;
-}
-
-strong.TODO {
- padding-left: 0.1em;
- background-color: #ffdd44;
-}
-
-strong.FIXME {
- padding-left: 0.1em;
- background-color: #ee2222;
-}
-
-strong.error {
- color: red;
-}
-
-div {
- margin-left: 10px;
- margin-right: 10px;
- text-align: justify;
-}
-
-div.wiki {
- margin-left: 0;
- margin-right: 0;
-}
-
-div.preview {
- border: 2px dashed #FF0000;
-}
-
-div.index {
- border: 1px solid #EEEEEE;
-}
-
-div.nav {
- /*border-color: #88aacc;
- background-color: #aaccee;*/
- border-color: #888888;
- background-color: #cccccc;
- border-style: solid;
- border-top-width: 0px;
- border-bottom-width: 2px;
- border-left-width: 0px;
- border-right-width: 0px;
- padding-top: 5px;
- padding-bottom: 5px;
- padding-left: 5px;
- padding-right: 5px;
- margin-top: 0px;
- margin-bottom: 10px;
- margin-left: 0px;
- margin-right: 0px;
-}
-
-.nav hr {
- display: none;
-}
-
-.nav .login {
- font-size: small;
- color: red;
-}
-
-#footer div {
- margin-top: 1em;
- margin-left: 0;
- margin-right: 0;
-}
-
-#footer hr {
- border: none;
- border-top: 1px solid #bbbbbb;
- margin: 0 0;
-}
-
-#footer :link, #footer :visited {
- color: #666666;
-}
-
-#footer p {
- color: #888888;
- font-size: x-small;
- margin-top: 0;
-}
-
-#footer p.copyright {
- float: left;
- margin-left: 0em;
- padding: 0 1em;
-}
-
-#footer .license {
- border-width: 0;
- vertical-align: top;
- margin-left: 0em;
- margin-right: 1em;
-}
-
-#footer p.modified {
- float: right;
- text-align: right;
- margin-right: 1em;
-}
-
-p.dialog {
- border-color: black;
- background-color: white;
- padding-left: 5px;
- margin-left: 10px;
- margin-right: 10px;
- border-style: solid;
- border-top-width: 1px;
- border-right-width: 1px;
- border-bottom-width: 1px;
- border-left-width: 1px
-}
-
-p {
- margin-left: 10px;
- margin-right: 10px;
- margin-bottom: 10px;
- text-align: justify;
-}
-
-table {
- /*width: 100%;*/
- border: 2px solid #ccc;
- border-collapse: collapse;
- margin-left: 1em;
- margin-right: 1em;
- margin-top: 0.5em;
- margin-bottom: 0.5em;
-}
-
-table tbody thead {
- background: #f7f7f0
-}
-
-/* FIXME: should be thead */
-table tbody th {
- border: 1px solid #d7d7d7;
- border-bottom-color: #999;
- font-weight: bold;
- padding: 2px .5em;
- vertical-align: bottom;
-}
-
-table tbody td {
- border: 1px dotted #ddd;
- padding: .3em .5em;
- vertical-align: top;
-}
-
-table tbody tr { border-top: 1px solid #ddd }
-table tbody tr.even { background-color: #f0f0f0 }
-table tbody tr.odd { background-color: #e7e7e7 }
-table tbody tr:hover { background: #eed !important }
-
-table thead th :link:hover, table thead th :visited:hover table tbody td a:hover, table tbody th a:hover {
- background-color: transparent;
-}
-
-pre {
- color: #222222;
- border-color: #E9E609;
- background: #FFFDD0;
-
- margin-left: 10px;
- margin-right: 10px;
- padding-left: 5px;
- padding-right: 5px;
- padding-top: 5px;
- padding-bottom: 5px;
- border-style: solid;
- border-top-width: 1px;
- border-right-width: 1px;
- border-bottom-width: 1px;
- border-left-width: 1px;
-}
-
-pre.error {
- color: #FF0000;
- background: #000000;
- border-top-color: #FF0000;
- border-color: #FF0000;
- border-style: solid;
- border-width: 6px;
- margin: 0px;
-}
-
-pre.success {
- color: #00FF00;
- background: #000000;
- border-color: #00FF00;
- border-style: solid;
- border-width: 6px;
- margin: 0px;
-}
-
-pre.notice {
- color: #FFCC00;
- background: #000000;
- border-color: #FFCC00;
- border-style: solid;
- border-width: 6px;
- margin: 0px;
-}
-
-#editor {
- font-family: monospace;
- width: 100%;
- color: black;
- background-color: white;
- border: 1px solid #8cacbb;
-}
-
-/* thumbnails */
-
-div.extthumb {
- float: right;
- width: 100%;
-}
-
-div.thumb {
- float: left;
- border: 1px solid #ccc;
- padding: 3px !important;
- margin: 10px;
- margin-bottom: .5em;
- background-color: #f9f9f9;
- text-align: center;
-}
-
-div.thumb a img {
- border: 1px solid #ccc;
- vertical-align:bottom;
-}
-
-div.thumb div.caption {
- border: none;
- overflow: hidden;
- font-size: 60%;
- line-height: 1.4em;
- padding: .3em 0 .1em 0;
- text-align: center;
-}
-
-
-/* Styles for search word highlighting */
-@media screen {
- .searchword0 { background: #ff9 }
- .searchword1 { background: #cfc }
- .searchword2 { background: #cff }
- .searchword3 { background: #ccf }
- .searchword4 { background: #fcf }
-}
-
-@media print {
- #footer { display: none }
- .nav { display: none }
-}
--- /dev/null
+// Copyright 2008, 2009 Bernie Innocenti <bernie@codewiz.org>
+//
+// FIXME: The following JS snippet is harder to pass than ACID 3
+
+var guru = document.getElementById('guru');
+
+// Firefox 2.0 doesn't take border-color, but returns border-top-color fine
+var color = document.defaultView.getComputedStyle(guru,null).getPropertyValue('border-top-color');
+
+function guruOn() {
+ guru.style.setProperty('border-color', color, '');
+ setTimeout('guruOff()', 1000);
+}
+function guruOff() {
+ guru.style.setProperty('border-color', '#000000', '');
+ setTimeout('guruOn()', 1000);
+}
+// Safari 2.0 returns this rgba crap
+// Konqueror 3.5.6 doesn't seem to support computed properties
+if (color && color != 'rgba(0, 0, 0, 0)') {
+ //window.alert("enabled! color='" + color + "'");
+ guruOn();
+}
--- /dev/null
+/*
+ * Author: Gerardo Poggiali <g.poggiali@develer.com>
+ * Author: Bernie Innocenti <bernie@codewiz.org>
+ */
+
+body {
+ font-family: sans-serif;
+ background-color: #F0F0F8;
+ color: #000000;
+ margin-top: 0px;
+ margin-left: 0px;
+ margin-right: 0px;
+}
+
+a { color: #1010FF; }
+a:visited { color: #501080; }
+a.nonexistent { color: #D04040; }
+a.navlink { color: #000088; font-size: smaller; font-weight: bold}
+a.external { font-style: italic; }
+a.heading { text-decoration: none; color: #aaaaaa; font-size: smaller; }
+
+h1 {
+ font-size: x-large;
+ font-weight: bold;
+ color: #3377FF;
+ border: #5599EE;
+ background-color: #C2E2FF;
+
+ margin-bottom: 0.2em;
+ margin-top: 2em;
+ padding-right: 10px;
+ padding-left: 10px;
+
+ border-top-width: 1px;
+ border-bottom-width: 1px;
+ border-right-width: 0px;
+ border-left-width: 0px;
+ border-style: solid;
+}
+
+h2 {
+ font-size: large;
+ font-weight: bold;
+ color: #22AA33;
+ border: #22AA33;
+ background-color: #E8F8F0;
+
+ margin-left: 5px;
+ margin-right: 5px;
+ margin-bottom: 0.1em;
+ margin-top: 2em;
+ padding-right: 10px;
+ padding-left: 10px;
+
+ border-top-width: 1px;
+ border-bottom-width: 1px;
+ border-left-width: 0px;
+ border-right-width: 0px;
+ border-style: solid;
+}
+
+h3 {
+ font-size: large;
+ font-weight: bold;
+ color: #DD2255;
+ border: #BB5599;
+
+ margin-left: 10px;
+ margin-right: 10px;
+ padding-right: 5px;
+ padding-left: 5px;
+
+ border-top-width: 0px;
+ border-bottom-width: 1px;
+ border-right-width: 0px;
+ border-left-width: 0px;
+ border-style: solid;
+}
+
+h4 {
+ font-size: medium;
+ font-weight: bold;
+ color: #2222AA;
+
+ margin-left: 10px;
+ margin-right: 10px;
+ padding-right: 5px;
+ padding-left: 5px;
+
+ border: #333399;
+ border-top-width: 0px;
+ border-bottom-width: 1px;
+ border-right-width: 0px;
+ border-left-width: 0px;
+ border-style: solid;
+}
+
+h5 {
+ font-size: medium;
+ font-weight: bold;
+ color: #222288;
+
+ margin-left: 10px;
+ margin-right: 10px;
+ padding-right: 5px;
+ padding-left: 5px;
+}
+
+/* Heading anchors */
+.heading:link, .heading:visited {
+ border: none;
+ color: #d7d7d7;
+ font-size: .8em;
+ vertical-align: text-top;
+}
+* > .heading:link, * > .heading:visited {
+ visibility: hidden;
+}
+
+h1:hover .heading, h2:hover .heading, h3:hover .heading,
+h4:hover .heading, h5:hover .heading, h6:hover .heading {
+ visibility: visible;
+}
+
+strong.DONE {
+ padding-left: 0.1em;
+ background-color: #22ee22;
+}
+
+strong.TODO {
+ padding-left: 0.1em;
+ background-color: #ffdd44;
+}
+
+strong.FIXME {
+ padding-left: 0.1em;
+ background-color: #ee2222;
+}
+
+strong.error {
+ color: red;
+}
+
+div {
+ margin-left: 10px;
+ margin-right: 10px;
+ text-align: justify;
+}
+
+div.wiki {
+ margin-left: 0;
+ margin-right: 0;
+}
+
+div.preview {
+ border: 2px dashed #FF0000;
+}
+
+div.index {
+ border: 1px solid #EEEEEE;
+}
+
+div.nav {
+ /*border-color: #88aacc;
+ background-color: #aaccee;*/
+ border-color: #888888;
+ background-color: #cccccc;
+ border-style: solid;
+ border-top-width: 0px;
+ border-bottom-width: 2px;
+ border-left-width: 0px;
+ border-right-width: 0px;
+ padding-top: 5px;
+ padding-bottom: 5px;
+ padding-left: 5px;
+ padding-right: 5px;
+ margin-top: 0px;
+ margin-bottom: 10px;
+ margin-left: 0px;
+ margin-right: 0px;
+}
+
+.nav hr {
+ display: none;
+}
+
+.nav .login {
+ font-size: small;
+ color: red;
+}
+
+#footer div {
+ margin-top: 1em;
+ margin-left: 0;
+ margin-right: 0;
+}
+
+#footer hr {
+ border: none;
+ border-top: 1px solid #bbbbbb;
+ margin: 0 0;
+}
+
+#footer :link, #footer :visited {
+ color: #666666;
+}
+
+#footer p {
+ color: #888888;
+ font-size: x-small;
+ margin-top: 0;
+}
+
+#footer p.copyright {
+ float: left;
+ margin-left: 0em;
+ padding: 0 1em;
+}
+
+#footer .license {
+ border-width: 0;
+ vertical-align: top;
+ margin-left: 0em;
+ margin-right: 1em;
+}
+
+#footer p.modified {
+ float: right;
+ text-align: right;
+ margin-right: 1em;
+}
+
+p.dialog {
+ border-color: black;
+ background-color: white;
+ padding-left: 5px;
+ margin-left: 10px;
+ margin-right: 10px;
+ border-style: solid;
+ border-top-width: 1px;
+ border-right-width: 1px;
+ border-bottom-width: 1px;
+ border-left-width: 1px
+}
+
+p {
+ margin-left: 10px;
+ margin-right: 10px;
+ margin-bottom: 10px;
+ text-align: justify;
+}
+
+table {
+ /*width: 100%;*/
+ border: 2px solid #ccc;
+ border-collapse: collapse;
+ margin-left: 1em;
+ margin-right: 1em;
+ margin-top: 0.5em;
+ margin-bottom: 0.5em;
+}
+
+table tbody thead {
+ background: #f7f7f0
+}
+
+/* FIXME: should be thead */
+table tbody th {
+ border: 1px solid #d7d7d7;
+ border-bottom-color: #999;
+ font-weight: bold;
+ padding: 2px .5em;
+ vertical-align: bottom;
+}
+
+table tbody td {
+ border: 1px dotted #ddd;
+ padding: .3em .5em;
+ vertical-align: top;
+}
+
+table tbody tr { border-top: 1px solid #ddd }
+table tbody tr.even { background-color: #f0f0f0 }
+table tbody tr.odd { background-color: #e7e7e7 }
+table tbody tr:hover { background: #eed !important }
+
+table thead th :link:hover, table thead th :visited:hover table tbody td a:hover, table tbody th a:hover {
+ background-color: transparent;
+}
+
+pre {
+ color: #222222;
+ border-color: #E9E609;
+ background: #FFFDD0;
+
+ margin-left: 10px;
+ margin-right: 10px;
+ padding-left: 5px;
+ padding-right: 5px;
+ padding-top: 5px;
+ padding-bottom: 5px;
+ border-style: solid;
+ border-top-width: 1px;
+ border-right-width: 1px;
+ border-bottom-width: 1px;
+ border-left-width: 1px;
+}
+
+pre.error {
+ color: #FF0000;
+ background: #000000;
+ border-top-color: #FF0000;
+ border-color: #FF0000;
+ border-style: solid;
+ border-width: 6px;
+ margin: 0px;
+}
+
+pre.success {
+ color: #00FF00;
+ background: #000000;
+ border-color: #00FF00;
+ border-style: solid;
+ border-width: 6px;
+ margin: 0px;
+}
+
+pre.notice {
+ color: #FFCC00;
+ background: #000000;
+ border-color: #FFCC00;
+ border-style: solid;
+ border-width: 6px;
+ margin: 0px;
+}
+
+#editor {
+ font-family: monospace;
+ width: 100%;
+ color: black;
+ background-color: white;
+ border: 1px solid #8cacbb;
+}
+
+/* thumbnails */
+
+div.extthumb {
+ float: right;
+ width: 100%;
+}
+
+div.thumb {
+ float: left;
+ border: 1px solid #ccc;
+ padding: 3px !important;
+ margin: 10px;
+ margin-bottom: .5em;
+ background-color: #f9f9f9;
+ text-align: center;
+}
+
+div.thumb a img {
+ border: 1px solid #ccc;
+ vertical-align:bottom;
+}
+
+div.thumb div.caption {
+ border: none;
+ overflow: hidden;
+ font-size: 60%;
+ line-height: 1.4em;
+ padding: .3em 0 .1em 0;
+ text-align: center;
+}
+
+
+/* Styles for search word highlighting */
+@media screen {
+ .searchword0 { background: #ff9 }
+ .searchword1 { background: #cfc }
+ .searchword2 { background: #cff }
+ .searchword3 { background: #ccf }
+ .searchword4 { background: #fcf }
+}
+
+@media print {
+ #footer { display: none }
+ .nav { display: none }
+}