         <li class="third-level "><a href="../../../misc/gnu-gpl.html">GNU GPLv3</a></li>
                                    
                                
                                    
                                    <li class="third-level "><a href="../../../misc/doc-license.html">Documentation license</a></li>
                                    
                                
                            </ul>
                        </li>
                        
                    
  