View GitHub Repository CAT

Schedule Inspection
Subscribe
Test Setup Failed
Push — release_2_1 ( 12ba21...8865c9 )
by Stefan
07:36
created
Status
Category
Toggle Patches
web/resources/css/cat.css.php 1 patch
Spacing   +87 added lines, -87 removed lines patch added patch discarded remove patch 
@@ -19,7 +19,7 @@  discard block
 
 block discarded – undo
19 19 
  *          <base_url>/copyright.php after deploying the software
20 20 
  */
21 21
22 
-require dirname(dirname(dirname(dirname(__FILE__)))) . "/config/_config.php";
22 
+require dirname(dirname(dirname(dirname(__FILE__))))."/config/_config.php";
23 23 
 $colour1 = \config\Master::APPEARANCE['colour1'];
24 24 
 $colour2 = \config\Master::APPEARANCE['colour2'];
25 25 
 // we need to know if we are serving a RTL language so we can flip some heading
 
@@ -34,14 +34,14 @@  discard block
 
 block discarded – undo
34 34 
 }
35 35
36 36 
 body {
37 
-    background: <?php echo $colour1;?>;
37 
+    background: <?php echo $colour1; ?>;
38 38 
     color: #000000;
39 39 
     font-family:Verdana, Arial, Helvetica, sans-serif;
40 40 
     font-size:11px;
41 41 
     height: 100%;
42 42 
     margin: 0px;
43 43 
     padding: 0px;
44 
-    padding-<?php echo $start;?>: 0px;
44 
+    padding-<?php echo $start; ?>: 0px;
45 45 
     min-width: 700px;
46 46 
     font-size: 11px;
47 47 
     font-weight: normal;
 
@@ -57,7 +57,7 @@  discard block
 
 block discarded – undo
57 57 
 }
58 58
59 59 
 button {
60 
-    background: <?php echo $colour2;?>;
60 
+    background: <?php echo $colour2; ?>;
61 61 
     color: #FFFFFF;
62 62 
     min-height: 23px;
63 63 
     border-start-style: outset; 
@@ -78,14 +78,14 @@  discard block
 
 block discarded – undo
78 78 
     background:#095e80;
79 79 
     border-style:inset;
80 80 
     position: relative;
81 
-    <?php echo $start;?>: 3px;
81 
+    <?php echo $start; ?>: 3px;
82 82 
 }
83 83
84 84 
 button.pressedDisabled {
85 85 
     background:#999;
86 86 
     border-style:inset;
87 87 
     position: relative;
88 
-    <?php echo $start;?>: 3px;
88 
+    <?php echo $start; ?>: 3px;
89 89 
 }
90 90
91 91 
 button.delete {
 
@@ -93,14 +93,14 @@  discard block
 
 block discarded – undo
93 93 
 }
94 94
95 95 
 .problemdescription {
96 
-    padding-<?php echo $start;?>:40px;
96 
+    padding-<?php echo $start; ?>:40px;
97 97 
     padding-top: 10px;
98 98 
     padding-bottom: 10px;
99 99 
     background-color: lightyellow;
100 100 
 }
101 101
102 102 
 .problemsolution {
103 
-    padding-<?php echo $start;?>:40px;
103 
+    padding-<?php echo $start; ?>:40px;
104 104 
     padding-top: 10px;
105 105 
     padding-bottom: 10px;
106 106 
     background-color: lightgreen;
 
@@ -167,8 +167,8 @@  discard block
 
 block discarded – undo
167 167 
 div.profilemodulebuttons {
168 168 
     position: inherit;
169 169 
     bottom: 5px;
170 
-    <?php echo $end;?>: 5px;
171 
-    text-align: <?php echo $end;?>;
170 
+    <?php echo $end; ?>: 5px;
171 
+    text-align: <?php echo $end; ?>;
172 172 
 }
173 173
174 174 
 div.profilebox {
 
@@ -189,15 +189,15 @@  discard block
 
 block discarded – undo
189 189 
     display: block;
190 190 
     position: absolute;
191 191 
     top:0;
192 
-    <?php echo $end;?>:0;
193 
-    padding-<?php echo $end;?>:20px;
192 
+    <?php echo $end; ?>:0;
193 
+    padding-<?php echo $end; ?>:20px;
194 194 
     padding-top:7px;
195 195 
 }
196 196
197 197 
 div.sidebar {
198 198 
     display: inline;
199 
-    float: <?php echo $end;?>;
200 
-    padding-<?php echo $end;?>: 20px;
199 
+    float: <?php echo $end; ?>;
200 
+    padding-<?php echo $end; ?>: 20px;
201 201 
 }
202 202 
 div.sidebar a {
203 203 
     color: white;
 
@@ -206,7 +206,7 @@  discard block
 
 block discarded – undo
206 206 
 div.header {
207 207 
     height: 54px;
208 208 
     background: #FFFFFF;
209 
-    padding-<?php echo $start;?>:30px;
209 
+    padding-<?php echo $start; ?>:30px;
210 210 
     padding-bottom: 10px;
211 211 
     color: <?php echo $colour2?>;
212 212 
 }
 
@@ -216,8 +216,8 @@  discard block
 
 block discarded – undo
216 216 
     top: 54px;
217 217 
     bottom: 50px;
218 218 
     padding-top: 10px;
219 
-    padding-<?php echo $start;?>: 0px;
220 
-    padding-<?php echo $end;?>: 0px;
219 
+    padding-<?php echo $start; ?>: 0px;
220 
+    padding-<?php echo $end; ?>: 0px;
221 221 
     width:100%;
222 222 
 }
223 223 
 
@@ -231,18 +231,18 @@  discard block
 
 block discarded – undo
231 231 
     color: #FFFFFF;
232 232 
     min-height:100px;
233 233 
     overflow: auto;
234 
-    padding-<?php echo $start;?>:20px'
234 
+    padding-<?php echo $start; ?>:20px'
235 235 
 }
236 236
237 237 
 #thirdrow {
238 
-    padding-<?php echo $start;?>: 10px;
239 
-    padding-<?php echo $end;?>: 10px;
238 
+    padding-<?php echo $start; ?>: 10px;
239 
+    padding-<?php echo $end; ?>: 10px;
240 240 
 }
241 241
242 242 
 div.footer {
243 243 
     width: 100%;
244 
-    <?php echo $start;?>: 0;
245 
-    <?php echo $end;?>: 0;
244 
+    <?php echo $start; ?>: 0;
245 
+    <?php echo $end; ?>: 0;
246 246 
     bottom: 0;
247 247 
     position: absolute;
248 248 
     background: white;
 
@@ -250,7 +250,7 @@  discard block
 
 block discarded – undo
250 250 
 }
251 251
252 252 
 div.footer span {
253 
-   padding-<?php echo $start;?>: 20px;
253 
+   padding-<?php echo $start; ?>: 20px;
254 254 
 }
255 255
256 256 
 div.footer table {
 
@@ -259,7 +259,7 @@  discard block
 
 block discarded – undo
259 259
260 260
261 261 
 div.footer table td {
262 
-    padding-<?php echo $end;?>:20px;
262 
+    padding-<?php echo $end; ?>:20px;
263 263 
     vertical-align:top;
264 264 
 }
265 265 
 
@@ -288,8 +288,8 @@  discard block
 
 block discarded – undo
288 288 
     position: fixed;
289 289 
     top: 0;
290 290 
     bottom: 0;
291 
-    <?php echo $start;?>: 0;
292 
-    <?php echo $end;?>: 0;
291 
+    <?php echo $start; ?>: 0;
292 
+    <?php echo $end; ?>: 0;
293 293 
     background-color: #000000;
294 294 
     opacity: 0.5;
295 295 
     z-index: 90;
 
@@ -315,7 +315,7 @@  discard block
 
 block discarded – undo
315 315 
     padding: 15px;
316 316 
     text-align: start;
317 317 
     width: 850px;
318 
-    <?php echo $start;?>: 100px;
318 
+    <?php echo $start; ?>: 100px;
319 319 
     top: 50px;
320 320 
     z-index: 100;
321 321 
 }
 
@@ -324,15 +324,15 @@  discard block
 
 block discarded – undo
324 324 
     position: absolute;
325 325 
     top: 0;
326 326 
     bottom: 0;
327 
-    <?php echo $start;?>: 0;
328 
-    <?php echo $end;?>: 0;
327 
+    <?php echo $start; ?>: 0;
328 
+    <?php echo $end; ?>: 0;
329 329 
     z-index: 100;
330 330 
 }
331 331
332 332 
 div#msgbox div {
333 333 
     position: fixed;
334 
-    <?php echo $start;?>: 0;
335 
-    <?php echo $end;?>: 0;
334 
+    <?php echo $start; ?>: 0;
335 
+    <?php echo $end; ?>: 0;
336 336 
 }
337 337
338 338 
 div#msgbox div div.graybox {
 
@@ -346,12 +346,12 @@  discard block
 
 block discarded – undo
346 346 
 div.graybox img {
347 347 
     display: block;
348 348 
     cursor: pointer;
349 
-    float: <?php echo $end;?>;
349 
+    float: <?php echo $end; ?>;
350 350 
     margin: 0px 0px 10px 10px;
351 351 
 }
352 352
353 353 
 img.icon {
354 
-    float: <?php echo $start;?>;
354 
+    float: <?php echo $start; ?>;
355 355 
     margin-end: 5px;
356 356 
     margin-top: 3px;
357 357 
 }
 
@@ -408,7 +408,7 @@  discard block
 
 block discarded – undo
408 408
409 409 
 span.edu_cat {
410 410 
     font-weight: bold;
411 
-    color: <?php echo $colour2;?>;
411 
+    color: <?php echo $colour2; ?>;
412 412 
 }
413 413
414 414 
 span.tooltip {
 
@@ -467,7 +467,7 @@  discard block
 
 block discarded – undo
467 467 
 }
468 468
469 469 
 table.authrecord td {
470 
-    padding-<?php echo $end;?>: 10px;
470 
+    padding-<?php echo $end; ?>: 10px;
471 471 
 }
472 472
473 473 
 p.MOTD {
 
@@ -516,8 +516,8 @@  discard block
 
 block discarded – undo
516 516 
     border-bottom-style:solid;
517 517 
     border-top-width:5px;
518 518 
     border-bottom-width:5px;
519 
-    border-color: <?php echo $colour1;?>;
520 
-    padding-<?php echo $start;?>:30px;
519 
+    border-color: <?php echo $colour1; ?>;
520 
+    padding-<?php echo $start; ?>:30px;
521 521 
 }
522 522
523 523 
 .no_borders button.disabledDevice {
 
@@ -572,8 +572,8 @@  discard block
 
 block discarded – undo
572 572
573 573 
 .signin_large {
574 574 
     vertical-align: top;
575 
-    padding-<?php echo $start;?>:20px;
576 
-    padding-<?php echo $end;?>:20px;
575 
+    padding-<?php echo $start; ?>:20px;
576 
+    padding-<?php echo $end; ?>:20px;
577 577 
     color: #bfd5dc;
578 578 
     font-size: 20px;
579 579 
 }
 
@@ -586,7 +586,7 @@  discard block
 
 block discarded – undo
586 586 
 }
587 587
588 588 
 #close_button {
589 
-    background: <?php echo $colour2;?>;
589 
+    background: <?php echo $colour2; ?>;
590 590 
     color: #FFFFFF;
591 591 
     height: 23px;
592 592 
     border-start-style: inset; 
@@ -601,19 +601,19 @@  discard block
 
 block discarded – undo
601 601 
     border-bottom-style: outset;
602 602 
     border-bottom-width: 2px;
603 603 
     border-bottom-color: #043d52;
604 
-    padding-<?php echo $start;?>: 5px;
605 
-    padding-<?php echo $end;?>: 5px;
604 
+    padding-<?php echo $start; ?>: 5px;
605 
+    padding-<?php echo $end; ?>: 5px;
606 606 
     padding-top: 1px;
607 607 
     padding-bottom: 1px;
608 608 
     position: relative;
609 
-    <?php echo $start;?>: 640px;
609 
+    <?php echo $start; ?>: 640px;
610 610 
     cursor:pointer;
611 611 
 }
612 612
613 613 
 #loading_ico {
614 614 
     display: none;
615 615 
     position: absolute;
616 
-    <?php echo $start;?>: 200px;
616 
+    <?php echo $start; ?>: 200px;
617 617 
     top: 220px;
618 618 
     z-index: 200;
619 619 
     text-align: center;
 
@@ -627,7 +627,7 @@  discard block
 
 block discarded – undo
627 627 
     z-index: 100;
628 628 
     position: absolute;
629 629 
     width: 700px;
630 
-    <?php echo $start;?>: 200px;
630 
+    <?php echo $start; ?>: 200px;
631 631 
     text-align: justify;
632 632 
     top: 200px;
633 633 
     box-shadow: 5px 5px 5px #666666;
 
@@ -635,23 +635,23 @@  discard block
 
 block discarded – undo
635 635 
 }
636 636
637 637 
 #user_info {
638 
-    padding-<?php echo $start;?>: 30px;
638 
+    padding-<?php echo $start; ?>: 30px;
639 639 
     font-size: 11px;
640 640 
     font-weight: normal;
641 641 
 }
642 642
643 643 
 #user_welcome {
644 644 
     background: #ffffff;
645 
-    padding-<?php echo $start;?>: 30px;
645 
+    padding-<?php echo $start; ?>: 30px;
646 646 
     padding-top: 20px;
647 
-    padding-<?php echo $end;?>: 180px;
647 
+    padding-<?php echo $end; ?>: 180px;
648 648 
     font-size: 12px;
649 649 
     font-weight: normal;
650 650 
 }
651 651
652 652 
 #devices {
653 653 
     z-index:90;
654 
-    padding-<?php echo $start;?>: 30px;
654 
+    padding-<?php echo $start; ?>: 30px;
655 655 
     font-size: 11px;
656 656 
     font-weight: normal;
657 657 
     position: relative;
 
@@ -659,15 +659,15 @@  discard block
 
 block discarded – undo
659 659
660 660 
 #profile_list {
661 661 
     width: 30em;
662 
-    padding-<?php echo $start;?>: 10px;
663 
-    padding-<?php echo $end;?>: 0px;
664 
-    background: <?php echo $colour2;?>;
662 
+    padding-<?php echo $start; ?>: 10px;
663 
+    padding-<?php echo $end; ?>: 0px;
664 
+    background: <?php echo $colour2; ?>;
665 665 
     color: white;
666 666 
     box-shadow: 10px 10px 5px #888888;
667 667 
 }
668 668
669 669 
 #profile_redirect {
670 
-    padding-<?php echo $start;?>: 30px;
670 
+    padding-<?php echo $start; ?>: 30px;
671 671 
     padding-top: 20px;
672 672 
     font-size: 11px;
673 673 
     font-weight: normal;
 
@@ -677,13 +677,13 @@  discard block
 
 block discarded – undo
677 677 
 }
678 678
679 679 
 #profiles {
680 
-    padding-<?php echo $start;?>: 30px;
680 
+    padding-<?php echo $start; ?>: 30px;
681 681 
     font-size: 11px;
682 682 
     padding-bottom: 10px
683 683 
 }
684 684
685 685 
 #signin {
686 
-    padding-<?php echo $start;?>: 30px;
686 
+    padding-<?php echo $start; ?>: 30px;
687 687 
     padding-top: 10px;
688 688 
 }
689 689 
 
@@ -707,8 +707,8 @@  discard block
 
 block discarded – undo
707 707 
     font-size: 14px;
708 708 
     padding-top: 4px;
709 709 
     padding-bottom: 12px;
710 
-    padding-<?php echo $start;?>: 30px;
711 
-    background: <?php echo $colour1;?>;
710 
+    padding-<?php echo $start; ?>: 30px;
711 
+    background: <?php echo $colour1; ?>;
712 712 
     text-align: start;
713 713 
     text-shadow: 10px 10px 5px #888888;
714 714 
 }
 
@@ -718,9 +718,9 @@  discard block
 
 block discarded – undo
718 718 
     border-bottom-style:solid;
719 719 
     border-top-width:5px;
720 720 
     border-bottom-width:5px;
721 
-    border-color: <?php echo $colour1;?>;
722 
-    padding-<?php echo $start;?>:30px;
723 
-    color: <?php echo $colour2;?>;
721 
+    border-color: <?php echo $colour1; ?>;
722 
+    padding-<?php echo $start; ?>:30px;
723 
+    color: <?php echo $colour2; ?>;
724 724 
 }
725 725
726 726 
 #heading h1 { 
@@ -735,11 +735,11 @@  discard block
 
 block discarded – undo
735 735
736 736 
 #welcome {
737 737 
     padding: 20px;
738 
-    padding-<?php echo $start;?>: 30px;
738 
+    padding-<?php echo $start; ?>: 30px;
739 739 
     text-align: justify;
740 740 
     border-bottom-style:solid;
741 741 
     border-bottom-width:5px;
742 
-    border-color: <?php echo $colour1;?>;
742 
+    border-color: <?php echo $colour1; ?>;
743 743 
     font-size: 11px;
744 744 
     font-weight: normal;
745 745 
 }
 
@@ -748,14 +748,14 @@  discard block
 
 block discarded – undo
748 748 
 #main_menu_info {
749 749 
                     position: relative;
750 750 
                     top: 15px;
751 
-                    <?php echo $start;?>: 0px;
752 
-                    padding:10px; padding-<?php echo $start;?>:20px; padding-<?php echo $end;?>:20px;
751 
+                    <?php echo $start; ?>: 0px;
752 
+                    padding:10px; padding-<?php echo $start; ?>:20px; padding-<?php echo $end; ?>:20px;
753 753 
                     background: #f0f0f0;
754 754 
                     border: 1px solid #dddddd;
755 755 
                     margin-start: 25px;
756 
-                    padding-<?php echo $start;?>: 25px;
756 
+                    padding-<?php echo $start; ?>: 25px;
757 757 
                     margin-end: 25px;
758 
-                    padding-<?php echo $end;?>: 25px;
758 
+                    padding-<?php echo $end; ?>: 25px;
759 759 
                     padding-bottom: 10px;
760 760 
                     vertical-align: top;
761 761 
                     box-shadow: 5px 5px 5px #666666;
 
@@ -786,7 +786,7 @@  discard block
 
 block discarded – undo
786 786
787 787 
 #faq {
788 788 
     padding: 20px;
789 
-    color: <?php echo $colour2;?>;
789 
+    color: <?php echo $colour2; ?>;
790 790 
     background: #ffffff;
791 791 
 }
792 792 
 
@@ -804,7 +804,7 @@  discard block
 
 block discarded – undo
804 804 
 #idp_logo {
805 805 
    display:none;
806 806 
    position:absolute;
807 
-   <?php echo $end;?>:30px;
807 
+   <?php echo $end; ?>:30px;
808 808 
    max-height:150px;
809 809 
    max-width:150px;
810 810 
    padding-top:10px;
 
@@ -827,18 +827,18 @@  discard block
 
 block discarded – undo
827 827 
 #slides img {
828 828 
     position: absolute;
829 829 
     top: 145px;
830 
-    <?php echo $end;?>: 60px;
830 
+    <?php echo $end; ?>: 60px;
831 831 
 }
832 832
833 833 
 #slides span {
834 834 
     position: absolute;
835 
-    <?php echo $start;?>: 180px;
835 
+    <?php echo $start; ?>: 180px;
836 836 
     z-index: 20;
837 837 
 }
838 838
839 839 
 #line1 {
840 840 
     top:145px;
841 
-    color: <?php echo $colour2;?>;
841 
+    color: <?php echo $colour2; ?>;
842 842 
     font-size:20px;
843 843 
 }
844 844 
 
@@ -850,7 +850,7 @@  discard block
 
 block discarded – undo
850 850
851 851 
 #line3 {
852 852 
     top:245px;
853 
-    <?php echo $start;?>: 200px;
853 
+    <?php echo $start; ?>: 200px;
854 854 
     color: maroon;
855 855 
     font-size:25px;
856 856 
 }
 
@@ -879,16 +879,16 @@  discard block
 
 block discarded – undo
879 879 
     height:100%;
880 880 
     border-spacing:0;
881 881 
     border-collapse:collapse;
882 
-    padding-<?php echo $start;?>:200px;
882 
+    padding-<?php echo $start; ?>:200px;
883 883 
     padding-top:10px;
884 884 
 }
885 885
886 886 
 #front_page_leftmenu {
887 887 
     border-end:solid;
888 
-    border-color: <?php echo $colour1;?>;
888 
+    border-color: <?php echo $colour1; ?>;
889 889 
     border-width:5px;
890 890 
     min-height:400px;
891 
-    padding-<?php echo $start;?>: 10px;
891 
+    padding-<?php echo $start; ?>: 10px;
892 892 
     vertical-align:top;
893 893 
     width:110px;
894 894 
     padding-top:30px;
 
@@ -898,8 +898,8 @@  discard block
 
 block discarded – undo
898 898 
     vertical-align: top;
899 899 
     height:280px;
900 900 
     background: #fff;
901 
-    padding-<?php echo $start;?>: 20px;
902 
-    padding-<?php echo $end;?>: 20px;
901 
+    padding-<?php echo $start; ?>: 20px;
902 
+    padding-<?php echo $end; ?>: 20px;
903 903 
 }
904 904
905 905 
 #user_button_td {
 
@@ -910,11 +910,11 @@  discard block
 
 block discarded – undo
910 910 
 }
911 911
912 912 
 a:link {
913 
-    color:<?php echo $colour2;?>;
913 
+    color:<?php echo $colour2; ?>;
914 914 
 }
915 915
916 916 
 a:visited {
917 
-    color:<?php echo $colour2;?>;
917 
+    color:<?php echo $colour2; ?>;
918 918 
 }
919 919
920 920 
 a:hover {
 
@@ -922,7 +922,7 @@  discard block
 
 block discarded – undo
922 922 
 }
923 923
924 924 
 a:active {
925 
-    color:<?php echo $colour2;?>;
925 
+    color:<?php echo $colour2; ?>;
926 926 
 }
927 927
928 928 
 .comment {
 
@@ -953,13 +953,13 @@  discard block
 
 block discarded – undo
953 953 
 table.user_overview th {
954 954 
     text-align: start;
955 955 
     background: #f0f0f0;
956 
-    padding-<?php echo $start;?>: 4px;
957 
-    padding-<?php echo $end;?>: 4px;
956 
+    padding-<?php echo $start; ?>: 4px;
957 
+    padding-<?php echo $end; ?>: 4px;
958 958 
 }
959 959 
 table.user_overview td {
960 960 
     border-top-style: none;
961 
-    padding-<?php echo $start;?>: 4px;
962 
-    padding-<?php echo $end;?>: 4px;
961 
+    padding-<?php echo $start; ?>: 4px;
962 
+    padding-<?php echo $end; ?>: 4px;
963 963 
     padding-top: 0px;
964 964 
     height: 25px;
965 965 
 }
 
@@ -972,14 +972,14 @@  discard block
 
 block discarded – undo
972 972 
 .download_button_text {
973 973 
     width: 380px;
974 974 
     position:absolute;
975 
-    <?php echo $end;?>: 5px;
975 
+    <?php echo $end; ?>: 5px;
976 976 
     padding-top:0px;
977 977 
 }
978 978
979 979 
 #download_info {
980 980 
    background: #f0f0f0;
981 
-   padding-<?php echo $start;?>: 20px;
982 
-   padding-<?php echo $end;?>: 20px;
981 
+   padding-<?php echo $start; ?>: 20px;
982 
+   padding-<?php echo $end; ?>: 20px;
983 983 
    padding-top:3px;
984 984 
    padding-bottom:3px;
985 985 
 }
Please login to merge, or discard this patch.