diff --git a/404.html b/404.html index 53b6c71..105eeb4 100644 --- a/404.html +++ b/404.html @@ -1,10 +1,11 @@ - + + 404 Page not found | Formal Methods Tools @@ -13,16 +14,20 @@ - + - + - - - - + + + + - + + + + + @@ -35,14 +40,11 @@