diff --git a/src/App/Page/Administration.purs b/src/App/Page/Administration.purs
index 622581d..2239aaa 100644
--- a/src/App/Page/Administration.purs
+++ b/src/App/Page/Administration.purs
@@ -10,7 +10,8 @@
 -}
 module App.Page.Administration where
 
-import Prelude (Unit, bind, discard, not, pure, show, ($), (<<<), (<>), (=<<), map, (/=))
+import Prelude (Unit, bind, discard, not, pure, show, ($), (<<<), (<>), (=<<), map, (/=), (==))
+import Data.Eq (class Eq)
 
 import Bulma as Bulma
 
@@ -74,15 +75,16 @@ data Action
   | ShowUser Int
   | RemoveUser Int
 
-  -- | Change the displayed page.
-  | Routing Page
+  -- | Change the displayed tab.
+  | ChangeTab Tab
 
   | Initialize
   | Finalize
 
--- | There are different `sub-pages` in the authentication daemon admin page.
--- | For example, users can be searched and a list is provided.
-data Page = Home | Search | Add
+-- | There are different tabs in the administration page.
+-- | For example, users can be searched (`authd`) and a list is provided.
+data Tab = Home | Search | Add
+derive instance eqTab :: Eq Tab
 
 type StateAddUserForm = { login :: String, admin :: Boolean, email :: String, pass :: String }
 type StateSearchUserForm = { regex :: String {-, admin :: Boolean, domain :: String -} }
@@ -90,7 +92,7 @@ type StateSearchUserForm = { regex :: String {-, admin :: Boolean, domain :: Str
 type State =
   { addUserForm    :: StateAddUserForm
   , searchUserForm :: StateSearchUserForm
-  , page           :: Page
+  , current_tab    :: Tab
   , wsUp           :: Boolean
   , matching_users :: Array UserPublic
   }
@@ -112,15 +114,15 @@ initialState :: Input -> State
 initialState _ = { addUserForm:    { login: "", admin: false, email: "", pass: "" }
                  , searchUserForm: { regex: "" {-, admin: false, domain: "" -} }
                  , matching_users: []
-                 , page: Home
+                 , current_tab: Home
                  , wsUp: true
                  }
 
 render :: forall m. State -> H.ComponentHTML Action () m
-render { addUserForm, searchUserForm, matching_users, page, wsUp }
+render { addUserForm, searchUserForm, matching_users, current_tab, wsUp }
     = HH.div_ 
-        [ Bulma.box [routing_search_button, routing_add_button]
-        , case page of
+        [ fancy_tab_bar
+        , case current_tab of
             Home -> Bulma.section_small [Bulma.h3 "Select an action"]
             Search -> Bulma.columns_
               [ Bulma.column (C.is 3) [Bulma.article (Bulma.p "Search users") render_searchuser_form]
@@ -130,54 +132,59 @@ render { addUserForm, searchUserForm, matching_users, page, wsUp }
               [ Bulma.column (C.is 5) [Bulma.article (Bulma.p "Add a new user") render_adduser_form] ]
         ]
     where
-      show_found_users = Bulma.box [ HH.ul_ $ map user_card matching_users ]
-      user_card user = HH.li_ [ Bulma.btn user.login (ShowUser user.uid)
-                              , Bulma.alert_btn "remove" (RemoveUser user.uid)
-                              ]
-      up x = HandleAddUserInput <<< x
-      active = (if wsUp then (HP.enabled true) else (HP.disabled true))
+    fancy_tab_bar =
+      Bulma.fancy_tabs
+        [ Bulma.tab_entry (is_tab_active Home)   "Home"   (ChangeTab Home)
+        , Bulma.tab_entry (is_tab_active Search) "Search" (ChangeTab Search)
+        , Bulma.tab_entry (is_tab_active Add)    "Add"    (ChangeTab Add)
+        ]
+    is_tab_active tab = current_tab == tab
 
-      render_adduser_form =
-        HH.form
-          [ HE.onSubmit PreventSubmit ]
-          [ Bulma.box_input "login" "User login" "login" (up ADDUSER_INP_login) addUserForm.login active
-          , Bulma.btn_labeled "adminbtn" "Admin" (show addUserForm.admin) (HandleAddUserInput ADDUSER_toggle_admin)
-          , Bulma.box_input "email" "User email" "email" (up ADDUSER_INP_email) addUserForm.email active
-          , Bulma.box_password "password" "User password" "password" (up ADDUSER_INP_pass) addUserForm.pass active
-          , Bulma.btn "Send" AddUserAttempt
-          ]
+    show_found_users = Bulma.box [ HH.ul_ $ map user_card matching_users ]
+    user_card user = HH.li_ [ Bulma.btn user.login (ShowUser user.uid)
+                            , Bulma.alert_btn "remove" (RemoveUser user.uid)
+                            ]
+    up x = HandleAddUserInput <<< x
+    active = (if wsUp then (HP.enabled true) else (HP.disabled true))
 
-      render_searchuser_form =
-        HH.form
-          [ HE.onSubmit PreventSubmit ]
-          [ Bulma.p """
-                    Following input accepts any regex.
-                    This will be used to search an user based on his login, full name or email address.
-                    """
-          , Bulma.box_input "regex" "Regex" "regex" (up SEARCHUSER_INP_regex) searchUserForm.regex active
-          --, Bulma.btn_labeled "adminbtn" "Admin" (show searchUserForm.admin)
-          --    (HandleAddUserInput SEARCHUSER_toggle_admin)
-          --, Bulma.box_input "domain" "Domain owned" "blah.netlib.re."
-          --    (up SEARCHUSER_INP_domain) searchUserForm.domain active
-          , Bulma.btn "Send" SearchUserAttempt
-          ]
+    render_adduser_form =
+      HH.form
+        [ HE.onSubmit PreventSubmit ]
+        [ Bulma.box_input "login" "User login" "login" (up ADDUSER_INP_login) addUserForm.login active
+        , Bulma.btn_labeled "adminbtn" "Admin" (show addUserForm.admin) (HandleAddUserInput ADDUSER_toggle_admin)
+        , Bulma.box_input "email" "User email" "email" (up ADDUSER_INP_email) addUserForm.email active
+        , Bulma.box_password "password" "User password" "password" (up ADDUSER_INP_pass) addUserForm.pass active
+        , Bulma.btn "Send" AddUserAttempt
+        ]
 
-      routing_search_button = Bulma.btn "Search" $ Routing Search
-      routing_add_button = Bulma.btn "Add" $ Routing Add
+    render_searchuser_form =
+      HH.form
+        [ HE.onSubmit PreventSubmit ]
+        [ Bulma.p """
+                  Following input accepts any regex.
+                  This will be used to search an user based on his login, full name or email address.
+                  """
+        , Bulma.box_input "regex" "Regex" "regex" (up SEARCHUSER_INP_regex) searchUserForm.regex active
+        --, Bulma.btn_labeled "adminbtn" "Admin" (show searchUserForm.admin)
+        --    (HandleAddUserInput SEARCHUSER_toggle_admin)
+        --, Bulma.box_input "domain" "Domain owned" "blah.netlib.re."
+        --    (up SEARCHUSER_INP_domain) searchUserForm.domain active
+        , Bulma.btn "Send" SearchUserAttempt
+        ]
 
 handleAction :: forall m. MonadAff m => Action -> H.HalogenM State Action () Output m Unit
 handleAction = case _ of
   Initialize -> do
     H.raise $ AskState
     sessionstorage <- H.liftEffect $ Window.sessionStorage =<< HTML.window
-    old_page <- H.liftEffect $ Storage.getItem "current-ada-page" sessionstorage
-    case old_page of
-      Nothing -> H.raise $ Log $ ErrorLog "We hadn't changed page before reload apparently."
-      Just page -> case page of
-        "Home"    -> handleAction $ Routing Home
-        "Search"  -> handleAction $ Routing Search
-        "Add"     -> handleAction $ Routing Add
-        _         -> H.raise $ Log $ ErrorLog $ "Reload but cannot understand old page: " <> page
+    old_tab <- H.liftEffect $ Storage.getItem "current-ada-tab" sessionstorage
+    case old_tab of
+      Nothing -> H.raise $ Log $ ErrorLog "We hadn't changed tab before reload apparently."
+      Just current_tab -> case current_tab of
+        "Home"    -> handleAction $ ChangeTab Home
+        "Search"  -> handleAction $ ChangeTab Search
+        "Add"     -> handleAction $ ChangeTab Add
+        _         -> H.raise $ Log $ ErrorLog $ "Reload but cannot understand old current_tab: " <> current_tab
 
   Finalize -> do
     state <- H.get
@@ -222,14 +229,14 @@ handleAction = case _ of
         H.raise $ MessageToSend ab
         H.raise $ Log $ SystemLog "Add a user"
 
-  Routing page -> do
-    -- Store the current page we are on and restore it when we reload.
+  ChangeTab current_tab -> do
+    -- Store the current tab we are on and restore it when we reload.
     sessionstorage <- H.liftEffect $ Window.sessionStorage =<< HTML.window
-    _ <- case page of
-      Home           -> H.liftEffect $ Storage.setItem "current-ada-page" "Home"   sessionstorage
-      Search         -> H.liftEffect $ Storage.setItem "current-ada-page" "Search" sessionstorage
-      Add            -> H.liftEffect $ Storage.setItem "current-ada-page" "Add"    sessionstorage
-    H.modify_ _ { page = page }
+    _ <- case current_tab of
+      Home           -> H.liftEffect $ Storage.setItem "current-ada-tab" "Home"   sessionstorage
+      Search         -> H.liftEffect $ Storage.setItem "current-ada-tab" "Search" sessionstorage
+      Add            -> H.liftEffect $ Storage.setItem "current-ada-tab" "Add"    sessionstorage
+    H.modify_ _ { current_tab = current_tab }
 
   SearchUserAttempt -> do
     { searchUserForm } <- H.get