h/fish-shell
1
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2026-06-11 05:31:14 -03:00
Code Issues Packages Projects Releases Wiki Activity

Consistency fixes

Browse Source
This commit is contained in:
Mark Griffiths
2014-08-26 19:19:24 +01:00
parent 137abd0cfa
commit 98ebb21489
16 changed files with 226 additions and 171 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc_src/user_doc.css
View File

@@ -138,12 +138,14 @@ h3 {
margin-right: 2px;
}
.key em, .key b {
padding: 0 4px;
padding: 1px 4px;
background-color: #fafafa;
border: 1px solid #aaa;
background: linear-gradient(to bottom, #eee 0%,#fafafa 100%);
border: 1px solid #bbb;
border-radius: 3px;
font-weight: normal;
white-space: nowrap;
box-shadow: 0 1px 2px #ddd;
}
tt, code, pre, .fish {
font-family: "DejaVu Sans Mono", Menlo, Monaco, "Source Code Pro", "Ubuntu Mono", "Consolas", "Lucida Console", monospace, fixed;