GEANT / CAT

core/UserManagement.php

Spacing +9 added lines, -9 removed lines

@@ -160,7 +160,7 @@ 
                 } else {
                     $this->databaseHandle->exec("INSERT INTO ownership (user_id, institution_id, blesslevel, orig_mail) VALUES(?, ?, ?, ?)", "siss", $owner, $catId, $level, $destMail);
                 }
-                $this->loggerInstance->writeAudit((string) $owner, "OWN", "IdP " . $invitationDetails['cat_institution_id'] . " - added user as owner");
+                $this->loggerInstance->writeAudit((string) $owner, "OWN", "IdP ".$invitationDetails['cat_institution_id']." - added user as owner");
                 common\Entity::outOfThePotatoes();
                 return new IdP($invitationDetails['cat_institution_id']);
             }
@@ -174,7 +174,7 @@ 
                 $idp = new IdP($fed->newIdP($invitationDetails['invite_fortype'], $owner, $invitationDetails['invite_issuer_level'], $invitationDetails['invite_dest_mail'], $bestnameguess));
                 $idp->addAttribute("general:instname", 'C', $bestnameguess);
             }
-            $this->loggerInstance->writeAudit($owner, "NEW", "IdP " . $idp->identifier . " - created from invitation");
+            $this->loggerInstance->writeAudit($owner, "NEW", "IdP ".$idp->identifier." - created from invitation");
 
             // in case we have more admins in the queue which were invited to 
             // administer the same inst but haven't redeemed their invitations 
@@ -188,7 +188,7 @@ 
                              WHERE invite_created >= TIMESTAMPADD(DAY, -1, NOW()) AND used = 0 AND name = ? AND country = ? AND ( cat_institution_id IS NULL OR external_db_uniquehandle IS NULL ) ", "ss", $invitationDetails['name'], $invitationDetails['country']);
             // SELECT -> resource, no boolean
             while ($pendingDetail = mysqli_fetch_object(/** @scrutinizer ignore-type */ $otherPending)) {
-                $this->databaseHandle->exec("UPDATE invitations SET cat_institution_id = " . $idp->identifier . " WHERE id = " . $pendingDetail->id);
+                $this->databaseHandle->exec("UPDATE invitations SET cat_institution_id = ".$idp->identifier." WHERE id = ".$pendingDetail->id);
             }
             common\Entity::outOfThePotatoes();
             return $idp;
@@ -213,7 +213,7 @@ 
             'invite_dest_mail' => $_SESSION['auth_email']
         ];
         $idp = $this->newIdPFromExternal($extId, $fed, $invitationDetails, $owner, $externalinfo);
-        $this->loggerInstance->writeAudit($owner, "NEW", "IdP " . $idp->identifier . " - created from auto-registration of $extId");
+        $this->loggerInstance->writeAudit($owner, "NEW", "IdP ".$idp->identifier." - created from auto-registration of $extId");
         return $idp;
     }
     
@@ -339,9 +339,9 @@ 
         $retval = [];
         $invitations = $this->databaseHandle->exec("SELECT cat_institution_id, country, name, invite_issuer_level, invite_dest_mail, invite_token , TIMESTAMPADD(DAY, 1, invite_created) as expiry
                                         FROM invitations 
-                                        WHERE cat_institution_id " . ( $idpIdentifier != 0 ? "= $idpIdentifier" : "IS NULL") . " AND invite_created >= TIMESTAMPADD(DAY, -1, NOW()) AND used = 0");
+                                        WHERE cat_institution_id " . ($idpIdentifier != 0 ? "= $idpIdentifier" : "IS NULL")." AND invite_created >= TIMESTAMPADD(DAY, -1, NOW()) AND used = 0");
         // SELECT -> resource, not boolean
-        $this->loggerInstance->debug(4, "Retrieving pending invitations for " . ($idpIdentifier != 0 ? "IdP $idpIdentifier" : "IdPs awaiting initial creation" ) . ".\n");
+        $this->loggerInstance->debug(4, "Retrieving pending invitations for ".($idpIdentifier != 0 ? "IdP $idpIdentifier" : "IdPs awaiting initial creation").".\n");
         while ($invitationQuery = mysqli_fetch_object(/** @scrutinizer ignore-type */ $invitations)) {
             $retval[] = ["country" => $invitationQuery->country, "name" => $invitationQuery->name, "mail" => $invitationQuery->invite_dest_mail, "token" => $invitationQuery->invite_token, "expiry" => $invitationQuery->expiry];
         }
@@ -414,7 +414,7 @@ 
         // these require not further checking
         foreach ($extInstListTmp as $country => $extInstCountryList) {
             $len = count($extInstCountryList);
-            for($i = 0; $i < $len; ++$i) {
+            for ($i = 0; $i < $len; ++$i) {
                 $extInst = $extInstCountryList[$i];
                 if ($extInst['inst_id'] != NULL && in_array($extInst['inst_id'], $this->currentInstitutions['existing'])) {
                     unset($extInstList[$country][$i]);
@@ -454,7 +454,7 @@ 
                     $names = $disectedNames['joint'];
                     $realms = \core\ExternalEduroamDBData::dissectCollapsedInstitutionRealms($extInst['realm']);
                     $foundMatch = $this->checkForSimilarInstitutions($names, $realms);
-                    $this->loggerInstance->debug(4, $foundMatch, "checkForSimilarInstitutions returned: ","\n");
+                    $this->loggerInstance->debug(4, $foundMatch, "checkForSimilarInstitutions returned: ", "\n");
                     if ($foundMatch == 0) {
                         $this->currentInstitutions['new'][] = [$extInst['external_db_id'], $disectedNames['perlang'], $country];
                     }
@@ -462,7 +462,7 @@ 
                 
             }    
         }
-        $this->loggerInstance->debug(4,$this->currentInstitutions['new'],"\n","\n");
+        $this->loggerInstance->debug(4, $this->currentInstitutions['new'], "\n", "\n");
         return $this->currentInstitutions;
     }
     

core/ExternalNothing.php

Spacing +1 added lines, -1 removed lines

@@ -133,7 +133,7 @@
      * @return array
      */
     
-    public function listExternalEntitiesByUserEmail($userEmail){
+    public function listExternalEntitiesByUserEmail($userEmail) {
         return [];
     }
 }
\ No newline at end of file

web/resources/css/cat.css.php

Spacing +128 added lines, -128 removed lines

@@ -19,7 +19,7 @@ 
  *          <base_url>/copyright.php after deploying the software
  */
 
-require dirname(dirname(dirname(dirname(__FILE__)))) . "/config/_config.php";
+require dirname(dirname(dirname(dirname(__FILE__))))."/config/_config.php";
 $colour1 = \config\Master::APPEARANCE['colour1'];
 $colour2 = \config\Master::APPEARANCE['colour2'];
 // we need to know if we are serving a RTL language so we can flip some heading
@@ -34,14 +34,14 @@ 
 }
 
 body {
-    background: <?php echo $colour1;?>;
+    background: <?php echo $colour1; ?>;
     color: #000000;
     font-family:Verdana, Arial, Helvetica, sans-serif;
     font-size:11px;
     height: 100%;
     margin: 0px;
     padding: 0px;
-    padding-<?php echo $start;?>: 0px;
+    padding-<?php echo $start; ?>: 0px;
     min-width: 700px;
     font-size: 11px;
     font-weight: normal;
@@ -57,18 +57,18 @@ 
 }
 
 button {
-    background: <?php echo $colour2;?>; 
+    background: <?php echo $colour2; ?>; 
     color: #FFFFFF; 
     min-height: 23px;
-    border-<?php echo $start;?>-style: outset; 
-    border-<?php echo $start;?>-width: 1px; 
-    border-<?php echo $start;?>-color: #8bbacb;
+    border-<?php echo $start; ?>-style: outset; 
+    border-<?php echo $start; ?>-width: 1px; 
+    border-<?php echo $start; ?>-color: #8bbacb;
     border-top-style: outset; 
     border-top-width: 1px; 
     border-top-color: #8bbacb;
-    border-<?php echo $end;?>-style: outset; 
-    border-<?php echo $end;?>-width: 2px; 
-    border-<?php echo $end;?>-color: #043d52;
+    border-<?php echo $end; ?>-style: outset; 
+    border-<?php echo $end; ?>-width: 2px; 
+    border-<?php echo $end; ?>-color: #043d52;
     border-bottom-style: outset; 
     border-bottom-width: 2px; 
     border-bottom-color: #043d52;
@@ -83,14 +83,14 @@ 
     background:#095e80;
     border-style:inset;
     position: relative;
-    <?php echo $start;?>: 3px;
+    <?php echo $start; ?>: 3px;
 }
 
 button.pressedDisabled {
     background:#999;
     border-style:inset;
     position: relative;
-    <?php echo $start;?>: 3px;
+    <?php echo $start; ?>: 3px;
 }
 
 button.delete {
@@ -102,14 +102,14 @@ 
     color:#FFF;
 }
 .problemdescription {
-    padding-<?php echo $start;?>:40px;
+    padding-<?php echo $start; ?>:40px;
     padding-top: 10px;
     padding-bottom: 10px;
     background-color: lightyellow;
 }
 
 .problemsolution {
-    padding-<?php echo $start;?>:40px;
+    padding-<?php echo $start; ?>:40px;
     padding-top: 10px;
     padding-bottom: 10px;
     background-color: lightgreen;
@@ -118,15 +118,15 @@ 
 .use_borders button.alertButton {
     color: maroon; 
     background: #bbb; 
-    border-<?php echo $start;?>-style: outset; 
-    border-<?php echo $start;?>-width: 1px; 
-    border-<?php echo $start;?>-color: #eee;
+    border-<?php echo $start; ?>-style: outset; 
+    border-<?php echo $start; ?>-width: 1px; 
+    border-<?php echo $start; ?>-color: #eee;
     border-top-style: outset; 
     border-top-width: 1px; 
     border-top-color: #eee;
-    border-<?php echo $end;?>-style: outset; 
-    border-<?php echo $end;?>-width: 2px; 
-    border-<?php echo $end;?>-color: #444;
+    border-<?php echo $end; ?>-style: outset; 
+    border-<?php echo $end; ?>-width: 2px; 
+    border-<?php echo $end; ?>-color: #444;
     border-bottom-style: outset; 
     border-bottom-width: 2px; 
     border-bottom-color: #444;
@@ -136,15 +136,15 @@ 
 button[disabled] {
     background: #bababa;
     color: #6a6a6a;
-    border-<?php echo $start;?>-style: inset;
-    border-<?php echo $start;?>-width: 1px;
-    border-<?php echo $start;?>-color: #dadada;
+    border-<?php echo $start; ?>-style: inset;
+    border-<?php echo $start; ?>-width: 1px;
+    border-<?php echo $start; ?>-color: #dadada;
     border-top-style: inset;
     border-top-width: 1px;
     border-top-color: #dadada;
-    border-<?php echo $end;?>-style: outset;
-    border-<?php echo $end;?>-width: 2px;
-    border-<?php echo $end;?>-color: #dadada;
+    border-<?php echo $end; ?>-style: outset;
+    border-<?php echo $end; ?>-width: 2px;
+    border-<?php echo $end; ?>-color: #dadada;
     border-bottom-style: outset;
     border-bottom-width: 2px;
     border-bottom-color: #dadada;
@@ -176,8 +176,8 @@ 
 div.profilemodulebuttons {
     position: inherit;
     bottom: 5px;
-    <?php echo $end;?>: 5px;
-    text-align: <?php echo $end;?>;
+    <?php echo $end; ?>: 5px;
+    text-align: <?php echo $end; ?>;
 }
 
 div.profilebox {
@@ -198,15 +198,15 @@ 
     display: block;
     position: absolute;
     top:0;
-    <?php echo $end;?>:0;
-    padding-<?php echo $end;?>:20px;
+    <?php echo $end; ?>:0;
+    padding-<?php echo $end; ?>:20px;
     padding-top:7px;
 }
 
 div.sidebar {
     display: inline;
-    float: <?php echo $end;?>;
-    padding-<?php echo $end;?>: 20px;
+    float: <?php echo $end; ?>;
+    padding-<?php echo $end; ?>: 20px;
 }
 div.sidebar a {
     color: white;
@@ -215,7 +215,7 @@ 
 div.header {
     height: 54px;
     background: #FFFFFF;
-    padding-<?php echo $start;?>:30px;
+    padding-<?php echo $start; ?>:30px;
     padding-bottom: 10px;
     color: <?php echo $colour2?>;
 }
@@ -225,8 +225,8 @@ 
     top: 54px;
     bottom: 50px;
     padding-top: 10px;
-    padding-<?php echo $start;?>: 0px;
-    padding-<?php echo $end;?>: 0px;
+    padding-<?php echo $start; ?>: 0px;
+    padding-<?php echo $end; ?>: 0px;
     width:100%;
 }
 
@@ -240,18 +240,18 @@ 
     color: #FFFFFF;
     min-height:100px;
     overflow: auto;
-    padding-<?php echo $start;?>:20px
+    padding-<?php echo $start; ?>:20px
 }
 
 #thirdrow {
-    padding-<?php echo $start;?>: 10px;
-    padding-<?php echo $end;?>: 10px;
+    padding-<?php echo $start; ?>: 10px;
+    padding-<?php echo $end; ?>: 10px;
 }
 
 #footer {
     width: 100%;
-    <?php echo $start;?>: 0;
-    <?php echo $end;?>: 0;
+    <?php echo $start; ?>: 0;
+    <?php echo $end; ?>: 0;
     bottom: 0;
     position: absolute;
     background: white;
@@ -277,8 +277,8 @@ 
     height: 100% !important;
     position: relative;
     min-width: 1000px;
-    margin-<?php echo $start;?>: auto;
-    margin-<?php echo $end;?>: auto;
+    margin-<?php echo $start; ?>: auto;
+    margin-<?php echo $end; ?>: auto;
 }
 
 div.device_info {
@@ -298,8 +298,8 @@ 
     position: fixed;
     top: 0;
     bottom: 0;
-    <?php echo $start;?>: 0;
-    <?php echo $end;?>: 0;
+    <?php echo $start; ?>: 0;
+    <?php echo $end; ?>: 0;
     background-color: #000000;
     opacity: 0.5;
     z-index: 90;
@@ -326,7 +326,7 @@ 
     padding: 15px;
     text-align: start;
     width: 850px;
-    <?php echo $start;?>: 100px;
+    <?php echo $start; ?>: 100px;
     top: 50px;
     z-index: 100;
 }
@@ -335,15 +335,15 @@ 
     position: absolute;
     top: 0;
     bottom: 0;
-    <?php echo $start;?>: 0;
-    <?php echo $end;?>: 0;
+    <?php echo $start; ?>: 0;
+    <?php echo $end; ?>: 0;
     z-index: 100;
 }
 
 div#msgbox div {
     position: fixed;
-    <?php echo $start;?>: 0;
-    <?php echo $end;?>: 0;
+    <?php echo $start; ?>: 0;
+    <?php echo $end; ?>: 0;
 }
 
 div#msgbox div div.graybox {
@@ -358,13 +358,13 @@ 
 div.graybox img {
     display: block;
     cursor: pointer;
-    float: <?php echo $end;?>;
+    float: <?php echo $end; ?>;
     margin: 0px 0px 10px 10px;
 }
 
 img.icon {
-    float: <?php echo $start;?>;
-    margin-<?php echo $end;?>: 5px;
+    float: <?php echo $start; ?>;
+    margin-<?php echo $end; ?>: 5px;
     margin-top: 3px;
 }
 
@@ -428,15 +428,15 @@ 
 div.ca-summary {
     border: 1px dotted;
     background-color: #ccccff;
-    border-<?php echo $start;?>: 10px solid;
-    border-<?php echo $start;?>-color: green;
+    border-<?php echo $start; ?>: 10px solid;
+    border-<?php echo $start; ?>-color: green;
     padding: 2px;
-    padding-<?php echo $start;?>: 8px;
+    padding-<?php echo $start; ?>: 8px;
 }
 
 span.edu_cat {
     font-weight: bold;
-    color: <?php echo $colour2;?>;
+    color: <?php echo $colour2; ?>;
 }
 
 span.tooltip {
@@ -495,7 +495,7 @@ 
 }
 
 table.authrecord td {
-    padding-<?php echo $end;?>: 10px;
+    padding-<?php echo $end; ?>: 10px;
 }
 
 p.MOTD {
@@ -513,15 +513,15 @@ 
 }
 
 .use_borders button {
-    border-<?php echo $start;?>-style: outset; 
-    border-<?php echo $start;?>-width: 1px; 
-    border-<?php echo $start;?>-color: #8bbacb;
+    border-<?php echo $start; ?>-style: outset; 
+    border-<?php echo $start; ?>-width: 1px; 
+    border-<?php echo $start; ?>-color: #8bbacb;
     border-top-style: outset; 
     border-top-width: 1px; 
     border-top-color: #8bbacb;
-    border-<?php echo $end;?>-style: outset; 
-    border-<?php echo $end;?>-width: 2px; 
-    border-<?php echo $end;?>-color: #043d52;
+    border-<?php echo $end; ?>-style: outset; 
+    border-<?php echo $end; ?>-width: 2px; 
+    border-<?php echo $end; ?>-color: #043d52;
     border-bottom-style: outset; 
     border-bottom-width: 2px; 
     border-bottom-color: #043d52;
@@ -544,8 +544,8 @@ 
     border-bottom-style:solid;
     border-top-width:5px; 
     border-bottom-width:5px; 
-    border-color: <?php echo $colour1;?>; 
-    padding-<?php echo $start;?>:30px;
+    border-color: <?php echo $colour1; ?>; 
+    padding-<?php echo $start; ?>:30px;
 }
 
 .no_borders button.disabledDevice {
@@ -561,13 +561,13 @@ 
 }
 
 input {
-    margin-<?php echo $end;?>: 5px;
+    margin-<?php echo $end; ?>: 5px;
 
 }
 
 select {
     vertical-align: middle;
-    margin-<?php echo $start;?>: 10px;
+    margin-<?php echo $start; ?>: 10px;
 }
 
 td.notapplicable {
@@ -600,8 +600,8 @@ 
 
 .signin_large {
     vertical-align: top;
-    padding-<?php echo $start;?>:20px;
-    padding-<?php echo $end;?>:20px;
+    padding-<?php echo $start; ?>:20px;
+    padding-<?php echo $end; ?>:20px;
     color: #bfd5dc;
     font-size: 20px;
 }
@@ -614,34 +614,34 @@ 
 }
 
 #close_button {
-    background: <?php echo $colour2;?>; 
+    background: <?php echo $colour2; ?>; 
     color: #FFFFFF; 
     height: 23px;
-    border-<?php echo $start;?>-style: inset; 
-    border-<?php echo $start;?>-width: 1px; 
-    border-<?php echo $start;?>-color: #8bbacb;
+    border-<?php echo $start; ?>-style: inset; 
+    border-<?php echo $start; ?>-width: 1px; 
+    border-<?php echo $start; ?>-color: #8bbacb;
     border-top-style: inset; 
     border-top-width: 1px; 
     border-top-color: #8bbacb;
-    border-<?php echo $end;?>-style: outset; 
-    border-<?php echo $end;?>-width: 2px; 
-    border-<?php echo $end;?>-color: #043d52;
+    border-<?php echo $end; ?>-style: outset; 
+    border-<?php echo $end; ?>-width: 2px; 
+    border-<?php echo $end; ?>-color: #043d52;
     border-bottom-style: outset; 
     border-bottom-width: 2px; 
     border-bottom-color: #043d52;
-    padding-<?php echo $start;?>: 5px;
-    padding-<?php echo $end;?>: 5px;
+    padding-<?php echo $start; ?>: 5px;
+    padding-<?php echo $end; ?>: 5px;
     padding-top: 1px;
     padding-bottom: 1px;
     position: relative;
-    <?php echo $start;?>: 640px;
+    <?php echo $start; ?>: 640px;
     cursor:pointer;
 }
 
 #loading_ico {
     display: none;
     position: absolute;
-    <?php echo $start;?>: 200px;
+    <?php echo $start; ?>: 200px;
     top: 220px;
     z-index: 200;
     text-align: center;
@@ -655,7 +655,7 @@ 
     z-index: 100;
     position: absolute;
     width: 700px;
-    <?php echo $start;?>: 200px;
+    <?php echo $start; ?>: 200px;
     text-align: justify;
     top: 200px;
     box-shadow: 5px 5px 5px #666666;
@@ -663,23 +663,23 @@ 
 }
 
 #user_info {
-    padding-<?php echo $start;?>: 30px; 
+    padding-<?php echo $start; ?>: 30px; 
     font-size: 11px;  
     font-weight: normal; 
 }
 
 #user_welcome {
     background: #ffffff;
-    padding-<?php echo $start;?>: 30px; 
+    padding-<?php echo $start; ?>: 30px; 
     padding-top: 20px; 
-    padding-<?php echo $end;?>: 180px;
+    padding-<?php echo $end; ?>: 180px;
     font-size: 12px;  
     font-weight: normal; 
 }
 
 #devices {
     z-index:90;
-    padding-<?php echo $start;?>: 30px;
+    padding-<?php echo $start; ?>: 30px;
     font-size: 11px;  
     font-weight: normal;
     position: relative;
@@ -687,15 +687,15 @@ 
 
 #profile_list {
     width: 30em; 
-    padding-<?php echo $start;?>: 10px; 
-    padding-<?php echo $end;?>: 0px; 
-    background: <?php echo $colour2;?>; 
+    padding-<?php echo $start; ?>: 10px; 
+    padding-<?php echo $end; ?>: 0px; 
+    background: <?php echo $colour2; ?>; 
     color: white; 
     box-shadow: 10px 10px 5px #888888;
 }
 
 #profile_redirect {
-    padding-<?php echo $start;?>: 30px;
+    padding-<?php echo $start; ?>: 30px;
     padding-top: 20px;
     font-size: 11px;
     font-weight: normal;
@@ -705,13 +705,13 @@ 
 }
 
 #profiles {
-    padding-<?php echo $start;?>: 30px; 
+    padding-<?php echo $start; ?>: 30px; 
     font-size: 11px; 
     padding-bottom: 10px 
 }
 
 #signin {
-    padding-<?php echo $start;?>: 30px;
+    padding-<?php echo $start; ?>: 30px;
     padding-top: 10px;
 }
 
@@ -735,8 +735,8 @@ 
     font-size: 14px; 
     padding-top: 4px; 
     padding-bottom: 12px; 
-    padding-<?php echo $start;?>: 30px; 
-    background: <?php echo $colour1;?>; 
+    padding-<?php echo $start; ?>: 30px; 
+    background: <?php echo $colour1; ?>; 
     text-align: start; 
     text-shadow: 10px 10px 5px #888888;
 }
@@ -746,9 +746,9 @@ 
     border-bottom-style:solid;
     border-top-width:5px;
     border-bottom-width:5px;
-    border-color: <?php echo $colour1;?>;
-    padding-<?php echo $start;?>:30px;
-    color: <?php echo $colour2;?>;
+    border-color: <?php echo $colour1; ?>;
+    padding-<?php echo $start; ?>:30px;
+    color: <?php echo $colour2; ?>;
 }
 
 #heading h1 { 
@@ -763,11 +763,11 @@ 
 
 #welcome {
     padding: 20px;
-    padding-<?php echo $start;?>: 30px;
+    padding-<?php echo $start; ?>: 30px;
     text-align: justify;
     border-bottom-style:solid;
     border-bottom-width:5px;
-    border-color: <?php echo $colour1;?>;
+    border-color: <?php echo $colour1; ?>;
     font-size: 11px;
     font-weight: normal;
 }
@@ -776,14 +776,14 @@ 
 #main_menu_info { 
                     position: relative;
                     top: 15px;
-                    <?php echo $start;?>: 0px;
-                    padding:10px; padding-<?php echo $start;?>:20px; padding-<?php echo $end;?>:20px;
+                    <?php echo $start; ?>: 0px;
+                    padding:10px; padding-<?php echo $start; ?>:20px; padding-<?php echo $end; ?>:20px;
                     background: #f0f0f0;
                     border: 1px solid #dddddd;
-                    margin-<?php echo $start;?>: 25px;
-                    padding-<?php echo $start;?>: 25px;
-                    margin-<?php echo $end;?>: 25px;
-                    padding-<?php echo $end;?>: 25px;
+                    margin-<?php echo $start; ?>: 25px;
+                    padding-<?php echo $start; ?>: 25px;
+                    margin-<?php echo $end; ?>: 25px;
+                    padding-<?php echo $end; ?>: 25px;
                     padding-bottom: 10px;
                     vertical-align: top;
                     box-shadow: 5px 5px 5px #666666;
@@ -814,7 +814,7 @@ 
 
 #faq {
     padding: 20px;
-    color: <?php echo $colour2;?>;
+    color: <?php echo $colour2; ?>;
     background: #ffffff;
 }
 
@@ -832,7 +832,7 @@ 
 #idp_logo {
    display:none;
    position:absolute;
-   <?php echo $end;?>:30px;
+   <?php echo $end; ?>:30px;
    max-height:150px;
    max-width:150px;
    padding-top:10px;
@@ -855,18 +855,18 @@ 
 #slides img {
     position: absolute;
     top: 145px;
-    <?php echo $end;?>: 60px;
+    <?php echo $end; ?>: 60px;
 }
 
 #slides span {
     position: absolute;
-    <?php echo $start;?>: 180px;
+    <?php echo $start; ?>: 180px;
     z-index: 20;
 }
 
 #line1 {
     top:145px;
-    color: <?php echo $colour2;?>;
+    color: <?php echo $colour2; ?>;
     font-size:20px;
 }
 
@@ -878,7 +878,7 @@ 
 
 #line3 {
     top:245px;
-    <?php echo $start;?>: 200px;
+    <?php echo $start; ?>: 200px;
     color: maroon;
     font-size:25px;
 }
@@ -907,16 +907,16 @@ 
     height:100%;
     border-spacing:0; 
     border-collapse:collapse;
-    padding-<?php echo $start;?>:200px;
+    padding-<?php echo $start; ?>:200px;
     padding-top:10px;
 }
 
 #front_page_leftmenu {
-    border-<?php echo $end;?>:solid; 
-    border-color: <?php echo $colour1;?>; 
+    border-<?php echo $end; ?>:solid; 
+    border-color: <?php echo $colour1; ?>; 
     border-width:5px; 
     min-height:400px; 
-    padding-<?php echo $start;?>: 10px; 
+    padding-<?php echo $start; ?>: 10px; 
     vertical-align:top; 
     width:110px; 
     padding-top:30px;
@@ -926,8 +926,8 @@ 
     vertical-align: top;
     height:280px;
     background: #fff;
-    padding-<?php echo $start;?>: 20px;
-    padding-<?php echo $end;?>: 20px;
+    padding-<?php echo $start; ?>: 20px;
+    padding-<?php echo $end; ?>: 20px;
 }
 
 #user_button_td {
@@ -938,11 +938,11 @@ 
 }
 
 a:link {
-    color:<?php echo $colour2;?>;
+    color:<?php echo $colour2; ?>;
 }
 
 a:visited {
-    color:<?php echo $colour2;?>;
+    color:<?php echo $colour2; ?>;
 }
 
 a:hover {
@@ -950,7 +950,7 @@ 
 }
 
 a:active {
-    color:<?php echo $colour2;?>;
+    color:<?php echo $colour2; ?>;
 }
 
 .comment {
@@ -981,14 +981,14 @@ 
 table.user_overview th {
     text-align: start;  
     background: #f0f0f0;
-    padding-<?php echo $start;?>: 4px;
-    padding-<?php echo $end;?>: 4px;
+    padding-<?php echo $start; ?>: 4px;
+    padding-<?php echo $end; ?>: 4px;
 }
 
 table.user_overview td {
     border-top-style: none;
-    padding-<?php echo $start;?>: 4px;
-    padding-<?php echo $end;?>: 4px;
+    padding-<?php echo $start; ?>: 4px;
+    padding-<?php echo $end; ?>: 4px;
     vertical-align: middle;
     height: 28px;
 }
@@ -1005,14 +1005,14 @@ 
 .download_button_text {
     width: 380px;
     position:absolute;
-    <?php echo $end;?>: 5px;
+    <?php echo $end; ?>: 5px;
     padding-top:0px;
 }
 
 #download_info {
    background: #f0f0f0;
-   padding-<?php echo $start;?>: 20px;
-   padding-<?php echo $end;?>: 20px;
+   padding-<?php echo $start; ?>: 20px;
+   padding-<?php echo $end; ?>: 20px;
    padding-top:3px;
    padding-bottom:3px;
 }
@@ -1056,7 +1056,7 @@ 
 }
 
 .downloads tr td {
-    text-align: <?php echo $end;?>;
+    text-align: <?php echo $end; ?>;
     padding-left: 5px;
     padding-right: 5px;
     border-bottom-style: solid;
@@ -1064,5 +1064,5 @@ 
 }
 
 .downloads tr td:first-child {
-    text-align: <?php echo $start;?>;
+    text-align: <?php echo $start; ?>;
 }
\ No newline at end of file