sinusfox/Operations-Research-Tool
Archived
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Unit tests and deployment - add to current working branch #35

Closed
SinusFox wants to merge 6 commits from Unit-Tests-and-Deployment into merging-ui-glpk
pull from: Unit-Tests-and-Deployment
merge into: sinusfox:merging-ui-glpk
Conversation 3 Commits 6 Files Changed 11
+9 -16
1 changed files with 9 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9193effdfa - Show all commits
src/app/globals.css
+9 -16
View File
@@ -28,8 +28,8 @@ body {
.container { .container {
display: flex; display: flex;
justify-content: space-between; /* Optional: sorgt für Abstand */ justify-content: space-between;
width: 100%; /* Optional: gibt dem Container eine Breite */ width: 100%;
} }
.header { .header {
@@ -38,10 +38,9 @@ body {
} }
.header_box { .header_box {
flex: 1; /* Teilt den verfügbaren Platz auf die Textboxen auf */ flex: 1;
margin: 10px 10px; /* Optional: fügt einen horizontalen Abstand hinzu */ margin: 10px 10px;
padding: 10px; /* Optional: fügt einen inneren Abstand hinzu */ padding: 10px;
/* font-size: 16px; // Optional: definiert die Schriftgröße */
border-radius: 20px; border-radius: 20px;
border: 20px solid #202020; border: 20px solid #202020;
background-color: #202020; background-color: #202020;
@@ -72,7 +71,6 @@ body {
.button_green { .button_green {
border: 2px solid #4795475c; border: 2px solid #4795475c;
background-color: #247d245c; background-color: #247d245c;
/* border-radius: 20px; */
border-radius: 20px; border-radius: 20px;
margin: 10px; margin: 10px;
padding: 10px; padding: 10px;
@@ -81,7 +79,6 @@ body {
.button_red { .button_red {
border: 2px solid #9547475c; border: 2px solid #9547475c;
background-color: #7d24245c; background-color: #7d24245c;
/* border-radius: 20px 10px; */
border-radius: 20px; border-radius: 20px;
margin: 10px; margin: 10px;
padding: 10px; padding: 10px;
@@ -90,7 +87,6 @@ body {
.button_green:hover { .button_green:hover {
border: 2px solid #4795475c; border: 2px solid #4795475c;
background-color: #4795475c; background-color: #4795475c;
/* border-radius: 20px; */
border-radius: 20px; border-radius: 20px;
margin: 10px; margin: 10px;
padding: 10px; padding: 10px;
@@ -99,7 +95,6 @@ body {
.button_red:hover { .button_red:hover {
border: 2px solid #9547475c; border: 2px solid #9547475c;
background-color: #9547475c; background-color: #9547475c;
/* border-radius: 20px 10px; */
border-radius: 20px; border-radius: 20px;
margin: 10px; margin: 10px;
padding: 10px; padding: 10px;
@@ -117,10 +112,9 @@ body {
} }
.body_box { .body_box {
flex: 1; /* Teilt den verfügbaren Platz auf die Textboxen auf */ flex: 1;
padding: 10px; /* Optional: fügt einen inneren Abstand hinzu */ padding: 10px;
width: 100%; width: 100%;
/* font-size: 16px; // Optional: definiert die Schriftgröße */
border-radius: 20px; border-radius: 20px;
border: 2px solid #8d8d8d; border: 2px solid #8d8d8d;
background-color: #474747; background-color: #474747;
@@ -137,10 +131,9 @@ body {
} }
.output_box { .output_box {
flex: 1; /* Teilt den verfügbaren Platz auf die Textboxen auf */ flex: 1;
padding: 10px; /* Optional: fügt einen inneren Abstand hinzu */ padding: 10px;
width: 100%; width: 100%;
/* font-size: 16px; // Optional: definiert die Schriftgröße */
border-radius: 20px; border-radius: 20px;
border: 2px solid #8d8d8d; border: 2px solid #8d8d8d;
background-color: #4dc3435c; background-color: #4dc3435c;