use docs_menu as the default menu style for the whole website
[web.git] / css /
2016-05-02 Álvaro Fernández... use docs_menu as the default menu style for the whole...
2016-05-02 Álvaro Fernández... docs: fixes for UCI config files menu
2016-05-02 Álvaro Fernández... docs: add menu for UCI config files
2016-04-05 Jo-Philipp WichSome CSS polish
2016-04-03 Jo-Philipp WichAdd active menu item indication
2016-04-03 Jo-Philipp WichAdd CSS files