Requestors menu goes into bottom/right corner. Add 'everyone' button. Thanks to pepe...

diff --git a/PLD_Builder/script.js b/PLD_Builder/script.js
index 8c137d30b5fab7ce637ce69e4160e600101478d9..6019aeb0464c69870cbf72a3e80fc76404367268 100644 (file)
--- a/PLD_Builder/script.js
+++ b/PLD_Builder/script.js
@@ -18,7 +18,7 @@ jQuery(function($) {
 
        // draw filter for requesters
        function filter_requesters() {
-               var requesters = [];
+               var requesters = ['everyone'];
                $('div b.requester').each(function(i, d) {
                        var requester = $(d).text();
                        if (!~requesters.indexOf(requester)) {
@@ -37,7 +37,7 @@ jQuery(function($) {
                                $('div#requesters-filter button').removeAttr('disabled');
                                $('div.request').filter(function(i, d) {
                                        var c = $(d).find('b.requester').text();
-                                       if (c == r) {
+                                       if (c == r || r == 'everyone') {
                                                $(d).show();
                                                $button.attr('disabled', 'disabled');
                                        } else {

diff --git a/PLD_Builder/style.css b/PLD_Builder/style.css
index 95fc7e5cc07a70fef87c6f83968e3aef0c20aa29..82e2150acee98eb46846ee78a9b37430635b9a88 100644 (file)
--- a/PLD_Builder/style.css
+++ b/PLD_Builder/style.css
@@ -61,12 +61,13 @@ pre {
                border: 1px solid black;
                padding: 0.5em;
                position: fixed;
+               right: 0px;
+               bottom: 0px;
                z-index: 100;
        }
 
        #content {
                clear: both;
-               margin-top: 5em;
                overflow: auto;
                position: absolute;
                width: 100%;