mirror of
https://github.com/nix-community/home-manager.git
synced 2025-12-11 11:31:06 +01:00
deploy: 0e0a16b342
This commit is contained in:
parent
23ad68431e
commit
06a914d19b
1 changed files with 1 additions and 1 deletions
|
|
@ -17456,7 +17456,7 @@ one of “background”, “bottom”, “top”, “overlay”</p>
|
||||||
</span>
|
</span>
|
||||||
</dt>
|
</dt>
|
||||||
<dd>
|
<dd>
|
||||||
<p>Add a margin around the window to allow for CSS shadow styling</p>
|
<p>Add a margin around the window to allow for CSS shadow styling.</p>
|
||||||
|
|
||||||
<p><span class="emphasis"><em>Type:</em></span>
|
<p><span class="emphasis"><em>Type:</em></span>
|
||||||
signed integer</p>
|
signed integer</p>
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue