Git Repositories

Add better css. Design is still crude.
authorCyrille Pontvieux <jrd@enialis.net>
Fri, 18 Jan 2013 17:00:05 +0000 (18:00 +0100)
committerCyrille Pontvieux <jrd@enialis.net>
Fri, 18 Jan 2013 17:00:05 +0000 (18:00 +0100)
src/account.php
src/admin-users.php
src/favicon.png [new file with mode: 0644]
src/index.php
src/nav.inc.php
src/repo-histo.php
src/repo-users.php
src/style.css

index b8f0689..134c923 100644 (file)
@@ -27,6 +27,7 @@ if (isset($_POST['submit_pwd'])) {
   <head>
     <title><?php echo "$title - $username"; ?></title>
     <link href="style.css" rel="stylesheet" type="text/css" />
+    <link rel="shortcut icon" href="favicon.png" type="image/png"/>
   </head>
   <body>
     <h1><?php echo "$title - $username"; ?></h1>
@@ -52,16 +53,22 @@ foreach ($keys as $key) {
     <hr/>
     <div class="error"><?php echo $errorMsgKey; ?></div>
     <form id="add-key" action="" method="POST">
-      <label for="new-key">Nouvelle clé SSH :</label><br/>
-      <textarea name="new-key" id="new-key"></textarea><br/>
-      <input type="submit" name="submit_key" value="Ajouter"/>
+      <fieldset>
+        <legend>Ajouter une clé SSH</legend>
+        <label for="new-key">Nouvelle clé SSH :</label><br/>
+        <textarea name="new-key" id="new-key"></textarea><br/>
+        <input type="submit" name="submit_key" value="Ajouter"/>
+      </fieldset>
     </form>
     <hr/>
     <div class="error"><?php echo $errorMsgPwd; ?></div>
     <form id="change-pwd" action="" method="POST" autocomplete="off">
-      <label for="new-pwd">Nouveau mot de passe :</label><br/>
-      <input type="password" name="new-pwd" id="new-pwd" value=""/><br/>
-      <input type="submit" name="submit_pwd" value="Changer le mot de passe"/>
+      <fieldset>
+        <legend>Changer le mot de passe</legend>
+        <label for="new-pwd">Nouveau mot de passe :</label><br/>
+        <input type="password" name="new-pwd" id="new-pwd" value=""/><br/>
+        <input type="submit" name="submit_pwd" value="Changer le mot de passe"/>
+      </fieldset>
     </form>
   </body>
 </html>
index 0af5668..22be55f 100644 (file)
@@ -16,8 +16,9 @@ if (isset($_POST['submit_user_add'])) {
 ?>
 <html>
   <head>
-  <title><?php echo "$title - Administration des utilisateurs"; ?></title>
+    <title><?php echo "$title - Administration des utilisateurs"; ?></title>
     <link href="style.css" rel="stylesheet" type="text/css" />
+    <link rel="shortcut icon" href="favicon.png" type="image/png"/>
   </head>
   <body>
     <h1><?php echo "$title - Administration des utilisateurs"; ?></h1>
@@ -40,10 +41,13 @@ foreach ($users as $user) {
     </div>
     <hr/>
     <div class="error"><?php echo $errorMsg; ?></div>
-    <form id="repo-add-user" action="" method="POST" autocomplete="off">
-      <label for="username">Login : </label><input type="text" name="username" id="username" value=""/>
-      <label for="password">MdP : </label><input type="password" name="password" id="password" value=""/>
-      <input type="submit" name="submit_user_add" value="Ajouter l'utilisateur au dépôt"/>
+    <form id="add-user" action="" method="POST" autocomplete="off">
+      <fieldset>
+        <legend>Ajouter un utilisateur</legend>
+        <label for="username">Login : </label><input type="text" name="username" id="username" value=""/>
+        <label for="password">MdP : </label><input type="password" name="password" id="password" value=""/>
+        <input type="submit" name="submit_user_add" value="Ajouter l'utilisateur au dépôt"/>
+      </fieldset>
     </form>
   </body>
 </html>
diff --git a/src/favicon.png b/src/favicon.png
new file mode 100644 (file)
index 0000000..aae35a7
Binary files /dev/null and b/src/favicon.png differ
index 06c56db..5b8de6b 100644 (file)
@@ -6,14 +6,15 @@ if ($admin && isset($_POST['submit_repo'])) {
   $fDesc = $_POST['new-desc'];
   $res = gitrepoinfo('create', $fRepo, $fDesc);
   if ($res === false) {
-    $errorMsg = "La dépôt n'a pas pu être ajouté.";
+    $errorMsg = "Le dépôt n'a pas pu être ajouté.";
   }
 }
 ?>
 <html>
   <head>
-  <title><?php echo $title; ?></title>
+    <title><?php echo $title; ?></title>
     <link href="style.css" rel="stylesheet" type="text/css" />
+    <link rel="shortcut icon" href="favicon.png" type="image/png"/>
   </head>
   <body>
     <h1><?php echo $title; ?></h1>
@@ -38,7 +39,7 @@ foreach ($files as $file) {
       $desc = "$proj";
     }
     $users = gitrepoinfo('show-users', $proj);
-    $membre = count($users) > 0 ? ' ? ' : ' — ';
+    $membre = count($users) > 0 ? '<span title="Veuillez vous identifier"> ? </span>' : '<span title="Aucun utilisateur"> — </span>';
     if ($logged && count($users) > 0) {
       if (in_array($_SESSION['username'], $users)) {
         $membre = "Oui";
@@ -69,9 +70,12 @@ foreach ($files as $file) {
     <hr/>
     <div class="error"><?php echo $errorMsg; ?></div>
     <form id="repo-add" action="" method="POST">
-      <label for="new-repo">Nom du nouveau dépôt :</label>&nbsp;<input type="text" name="new-repo" id="new-repo" value=""/><br/>
-      <label for="new-desc">Description :</label>&nbsp;<input type="text" name="new-desc" id="new-desc" value=""/><br/>
-      <input type="submit" name="submit_repo" value="Ajouter le dépôt"/>
+      <fieldset>
+        <legend>Ajouter un dépôt</legend>
+        <label for="new-repo">Nom du nouveau dépôt :</label>&nbsp;<input type="text" name="new-repo" id="new-repo" value=""/><br/>
+        <label for="new-desc">Description :</label>&nbsp;<input type="text" name="new-desc" id="new-desc" value=""/><br/>
+        <input type="submit" name="submit_repo" value="Ajouter le dépôt"/>
+      </fieldset>
     </form>
     <hr/>
     <a href="admin-users.php">Gestion des utilisateurs</a>
index 4df7be0..e2ccec5 100644 (file)
@@ -7,9 +7,12 @@ if ($logged) {
   echo "<div class=\"error\">$errorMsg</div>\n";
   echo <<<EOF
 <form action="" method="POST">
-  <label for="username">Login : </label><input type="text" name="username" id="username" value=""/>
-  <label for="password">MdP : </label><input type="password" name="password" id="password" value=""/>
-  <input type="submit" name="submit_auth" value="Ok"/>
+  <fieldset>
+    <legend>Identification</legend>
+    <label for="username">Login : </label><input type="text" name="username" id="username" value=""/>
+    <label for="password">MdP : </label><input type="password" name="password" id="password" value=""/>
+    <input type="submit" name="submit_auth" value="Ok"/>
+  </fieldset>
 </form>
 EOF;
 }
index 8675026..5885124 100644 (file)
@@ -11,6 +11,7 @@ if (empty($_GET['repo'])) {
   <head>
     <title><?php echo "$title - $repo"; ?></title>
     <link href="style.css" rel="stylesheet" type="text/css" />
+    <link rel="shortcut icon" href="favicon.png" type="image/png"/>
   </head>
   <body>
     <h1><?php echo "$title - $repo"; ?></h1>
index db1784a..e81b9b1 100644 (file)
@@ -19,6 +19,7 @@ if ($admin && isset($_POST['submit_user_add'])) {
   <head>
     <title><?php echo "$title - $repo"; ?></title>
     <link href="style.css" rel="stylesheet" type="text/css" />
+    <link rel="shortcut icon" href="favicon.png" type="image/png"/>
   </head>
   <body>
     <h1><?php echo "$title - $repo"; ?></h1>
@@ -46,17 +47,20 @@ foreach ($users as $user) {
     <hr/>
     <div class="error"><?php echo $errorMsg; ?></div>
     <form id="repo-add-user" action="" method="POST">
-      <label for="new-repo">Nouveau membre :</label>&nbsp;
-      <select name="username">
+      <fieldset>
+        <legend>Ajouter un utilisateur au dépôt</legend>
+        <label for="new-repo">Nouveau membre :</label>&nbsp;
+        <select name="username">
 <?php
 $users = gitrepoinfo('list-users');
 foreach ($users as $user) {
   $user = htmlspecialchars($user);
-  echo "        <option value=\"$user\">$user</option>\n";
+  echo "          <option value=\"$user\">$user</option>\n";
 }
 ?>
-      </select>
-      <input type="submit" name="submit_user_add" value="Ajouter l'utilisateur au dépôt"/>
+        </select>
+        <input type="submit" name="submit_user_add" value="Ajouter l'utilisateur au dépôt"/>
+      </fieldset>
     </form>
 <?php } ?>
   </body>
index 274848e..6e9c15c 100644 (file)
@@ -1,13 +1,13 @@
 a, a:link, a:visited {
   display: inline-block;
-  padding: 2px 5px 2px 5px;
   text-decoration: none;
-  color: blue;
-  background-color: #AAA;
-  border: 1px solid black
-}
-a:hover {
-  color: red;
+  appearance: button;
+  -moz-appearance: button;
+  -webkit-appearance: button;
+  -o-appearance: button;
+  font: menu;
+  color: ButtonText;
+  padding: 2px 8px;
 }
 h1 {
   text-align: center;
@@ -31,14 +31,14 @@ table .actions {
   text-align: center;
 }
 table th {
-  background-color: #DDD;
+  background-color: #EEE;
   text-align: center !important;
+  height: 30px;
 }
 table tr:hover {
-  background-color: #AAA;
+  background-color: #CCC;
 }
 #nav {
-  background-color: #EEE;
   padding: 5px 0 5px 20px;
 }
 #nav p span {
@@ -52,6 +52,11 @@ div.invite {
 div.invite span {
   font-weight: bold;
 }
+div.error {
+  padding-left: 10px;
+  color: red;
+  font-style: italic;
+}
 div.rw {
   color: black;
   font-weight: bold;