#mainmenu

{

  font-size: 14px;

  font-family: "Segoe UI", Tahoma, sans-serif;

}

#mainmenu.UIMenu 

{

  background-color: #3b3939;

  min-height: 32px;

}

#pagemenu .ui-menuitem

{

  padding: 6px 16px;

}


.uiButton 

{

  background: #606060;

  border-radius: 3px;

  font-family: Arial;

  color: #ffffff;

  font-size: 16px;

  padding: 8px 16px 8px 16px;

  text-decoration: none;

  cursor: pointer;

  -moz-user-select: none;

  user-select: none; 

  width:60px;

  display: block;

  text-align: center;

  overflow:hidden;

  flex-shrink: 0;

}


.uiButton:hover 

{

  background: #a0a0a0;

  text-decoration: none;

}


table.uiTable th

{

  background: #ddd;

  color: black;

}


/* nicer appearance of the menu */

li.ui-menuitem.active 

{

  background-color: darkgrey;

}



#explorer_p1

{

    overflow: auto;

}

#panel-details

{

    display:flex;

}


.node_container

{

  display:flex;

  flex-direction:column;

  width: 100%;

  overflow: auto;

}