/* CSS for docs.php */


div.alldocs
{
  width: max-content;
  max-width: 100%;
  margin: 20px auto;
  line-height: 1.5;
}


div.doclist
{
  margin: 20px 0 0 0;
}

div.doclist a 
{ 
  text-decoration: none;
}



div.login
{
  width: 100%;
  max-width: 500px;
  margin: auto;
}