      
                
                <a href="developer.html" class="navigation navigation-prev " aria-label="Previous page: Developer Guide">
                    <i class="fa fa-angle-left"></i>
                </a>
                
                
                <a href="developer_plugin.html" class="navigation navigation-next " aria-label="Next page: Plugin Developer">
                    <i class="fa fa-angle-right"></i>
                </a>
                
            
        
    </div>

    <s