mirror of
https://github.com/fish-shell/fish-shell
synced 2025-01-28 04:35:09 +00:00
Add a little padding in the documentation stylesheet to make it easier to differ between different header levels
darcs-hash:20060509164146-ac50b-f165e89d3cf5d9a8db9826d804cd62b85bd6a3f7.gz
This commit is contained in:
parent
06668bfacb
commit
77f35c1b41
1 changed files with 13 additions and 0 deletions
|
@ -2,6 +2,19 @@
|
||||||
<head>
|
<head>
|
||||||
<title>fish user documentation</title>
|
<title>fish user documentation</title>
|
||||||
<link href="doxygen.css" rel="stylesheet" type="text/css">
|
<link href="doxygen.css" rel="stylesheet" type="text/css">
|
||||||
|
<!--
|
||||||
|
Override the default doxygen stylesheet to make the difference between different header levels larger
|
||||||
|
-->
|
||||||
|
<style type='text/css'>
|
||||||
|
H2
|
||||||
|
{
|
||||||
|
}
|
||||||
|
|
||||||
|
H3
|
||||||
|
{
|
||||||
|
padding-left:2%;
|
||||||
|
}
|
||||||
|
</style>
|
||||||
</head>
|
</head>
|
||||||
<body>
|
<body>
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue