diff options
author | a1346054 <36859588+a1346054@users.noreply.github.com> | 2021-09-04 19:59:25 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-04 21:59:25 +0200 |
commit | 32052f214b052531cc55d5d52c0283adabf838ca (patch) | |
tree | 224cfea81e6eac90f7cd2788a2bb1e159489044f /doc/html/styles.css | |
parent | ff3cbf5672fe7599f025cf3f9f4ebe1db83a2e51 (diff) | |
download | VeraCrypt-32052f214b052531cc55d5d52c0283adabf838ca.tar.gz VeraCrypt-32052f214b052531cc55d5d52c0283adabf838ca.zip |
Minor cleanup of the repo (#822)
* *: source files should not be executable
* *: make sure files have final newline
* *: remove BOM from text files
* translations: unify headers
* *: fix typos
* *: trim excess whitespace
Diffstat (limited to 'doc/html/styles.css')
-rw-r--r-- | doc/html/styles.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/html/styles.css b/doc/html/styles.css index 67d27847..6d9a5695 100644 --- a/doc/html/styles.css +++ b/doc/html/styles.css @@ -1,5 +1,5 @@ #menu { - display: none; + display: none; } #menu ul { @@ -28,4 +28,4 @@ #menu li a:hover { background-color: #111111; -}
\ No newline at end of file +} |