Move css directory to 'styles'

.gitignore

@@ -8,3 +8,11 @@
 /.purs*
 /.psa*
 /.spago
+
+/dist/*
+!/dist/styles/
+!/dist/examples/
+!/dist/fonts/
+!/dist/images/
+!/dist/js/
+/dist/styles/*map
\ No newline at end of file

dist/index.html

@@ -5,11 +5,11 @@
         <title>CNRS GarganText</title>
         <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
         <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
-        <link href="css/login.min.css" rel="stylesheet">
-        <link href="css/bootstrap.min.css" rel="stylesheet">
+        <link href="styles/login.min.css" rel="stylesheet">
+        <link href="styles/bootstrap.min.css" rel="stylesheet">
         <!-- <link href="css/lavish-bootstrap.css" rel="stylesheet"> -->
-        <link rel="stylesheet" type="text/css" href="css/menu.css"/>
-        <link href="css/Login.css" rel="stylesheet">
+        <link rel="stylesheet" type="text/css" href="styles/menu.css"/>
+        <link href="styles/Login.css" rel="stylesheet">
         <style>
          * {margin: 0; padding: 0; list-style: none;}
          .tree ul li {