update version number, add docker files, update README, minor UI fixes

Author: Mariotti94

Dockerfile

@@ -0,0 +1,5 @@
+FROM php:8.0-apache
+
+RUN apt-get update && \
+    apt-get -y install libgmp-dev && \ 
+    docker-php-ext-install gmp

README.md

@@ -0,0 +1,11 @@
+version: "3"
+
+services:
+ app:
+  container_name: webriscv_app
+  build: ./
+  ports:
+   - "80:80"
+  volumes:
+   - ./www:/var/www/html
+

docker-compose.yml

@@ -147,6 +147,8 @@ a.link3:hover {
 }
 
 a.link4 {
+  display: block;
+  width: 100%;
   font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
   font-size: 10px;
   color: black;
@@ -167,6 +169,19 @@ a.link4disabled {
   user-select: none;
 }
 
+a.link5 {
+  display: block;
+  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
+  font-size: 14px;
+  color: black;
+  text-decoration: none;
+  user-select: none;
+  border: 1px solid black;
+}
+a.link5:hover {
+  color: red;
+}
+
 input.form {
   cursor: pointer;
 }
@@ -234,4 +249,4 @@ tr.alternating:nth-child(odd){
 
 #schemaBody {
   background-color: #f0f0f0;
-}
+}

css/main.css renamed to www/css/main.css

@@ -1,6 +1,6 @@
 <?php
 //VERSION
-$_SESSION['version']="1.7.4";
+$_SESSION['version']="1.7.5";
 
 //BOUNDS
 $_SESSION['maxCycle']=2000;

css/schema.css renamed to www/css/schema.css

@@ -78,10 +78,10 @@
       <table width="100%" cellpadding="0" cellspacing="0">
       <tr>
       <td align="center" width="50%" style="padding: 0px 3px 0px 6px;">
-      <a style="font-size: 14px; display: block; border: 1px solid black; padding: 2px 5px;" class="link4"  href="javascript:void(0);" onclick="javascript:window.open('pipeTable.php','','width=600,height=400');">EXECUTION TABLE</a>
+      <a class="link5" style="padding: 2px 5px;" href="javascript:void(0);" onclick="javascript:window.open('pipeTable.php','','width=600,height=400');">EXECUTION TABLE</a>
       </td>
       <td align="center" width="50%" style="padding: 0px 6px 0px 3px;">
-      <a style="font-size: 14px;  display: block; border: 1px solid black; padding: 2px 37px 2px 38px; " class="link4"  href="javascript:void(0);" onclick="javascript:window.open('console.php','','width=600,height=400');">CONSOLE</a>
+      <a class="link5" style="padding: 2px 37px 2px 38px;" href="javascript:void(0);" onclick="javascript:window.open('console.php','','width=600,height=400');">CONSOLE</a>
       </td>
       </tr>
       </table>