diff options
author | Chris Luke <chrisy@flirble.org> | 2017-09-27 15:09:48 -0400 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2017-09-28 01:04:56 +0000 |
commit | 64ebb5ff1338140d94c7f9ee72138fe84d89de2e (patch) | |
tree | 338f13adac0036599943061d2fabfd673479643e /doxygen/assets/doxy-vpp.css | |
parent | 4ff586d1c6fc5c40e1548cd6f221a8a7f3ad033b (diff) |
General documentation updates
- We now have several developer-focused docs, so create an index page
for them.
- Rework several docs to fit into the index structure.
- Experiment with code highlighting; tweak the CSS slightly to make
it slightly nicer to look at.
Change-Id: I4185a18f84fa0764745ca7a3148276064a3155c6
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'doxygen/assets/doxy-vpp.css')
-rw-r--r-- | doxygen/assets/doxy-vpp.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doxygen/assets/doxy-vpp.css b/doxygen/assets/doxy-vpp.css index 3b74eb6f66b..108600acefc 100644 --- a/doxygen/assets/doxy-vpp.css +++ b/doxygen/assets/doxy-vpp.css @@ -45,3 +45,9 @@ pre { a.el { font-family: Consolas, Courier, monospace; } + +div.fragment { + padding: 2px; + margin-left: 8px; +} + |