minor updates

This commit is contained in:
tmont 2008-10-26 04:02:45 +00:00
parent 132bf9cb35
commit a12e509014
4 changed files with 20 additions and 17 deletions

View File

@ -1,13 +1,3 @@
[externals]
; The path to the binary to use for diffs
;
; The default is "diff" and assumes the diff binary is
; available via your PATH environment variable
;
; Example: /usr/bin/diff
diff = diff
[database]
; The name of the database vendor
@ -19,7 +9,6 @@ diff = diff
;
; Possible values:
; mysql
; oracle
; postgresql
; sqlite
vendor = mysql

View File

@ -31,6 +31,7 @@
public function send() { ?>
<div id="logo">
<h1>Panacea</h1>
<img alt="Panacea" src="/panacea/src/media/images/logo.png"/>
</div>
<?php

View File

@ -36,6 +36,9 @@ ul.menu {
height: 173px;
margin: auto;
}
#logo h1 {
display: none;
}
#menu {
border-top: 2px solid #000000;
@ -181,6 +184,16 @@ ul.menu {
.wikicontent {
margin: 10px auto;
}
.wikicontent h2, .wikicontent h3, .wikicontent h4, .wikicontent h5, .wikicontent h6 {
padding: 2px 5px;
}
.wikicontent h2 {
background-color: #DDDDEE;
}
.wikicontent h3 {
background-color: #C8C8DD;
}
.wikidiff {
white-space: pre;
font-family: "Courier New", monospace;

View File

@ -1,24 +1,24 @@
var Wiki = {
compareRevisions: function(path) {
var oldDiff = Wiki.getRevision("oldrev");
if (oldDiff === null) {
var oldRev = Wiki.getRevision("oldrev");
if (oldRev === null) {
alert("No old revision is selected");
return false;
}
var newDiff = Wiki.getRevision("newrev");
if (newDiff === null) {
var newRev = Wiki.getRevision("newrev");
if (newRev === null) {
alert("No new revision is selected");
return false;
}
if (oldDiff === newDiff) {
if (oldRev === newRev) {
alert("Cannot compare the same revision");
return false;
}
var url = path + "[" + oldDiff + "," + newDiff + "]";
var url = path + "[" + oldRev + "," + newRev + "]";
document.location = url;
},