MrOtherGuy
d8f9d1de79
Make capture box be part of urlbar-input-container
2020-11-18 05:37:18 +02:00
MrOtherGuy
80bb49bcf9
Apply z-index:1 to the title-block so it will show on top of bg-images
2020-10-31 09:57:03 +02:00
MrOtherGuy
ad953919e4
Hide items that result from tab-to-search functionality ( fixes #83 )
2020-10-25 14:48:33 +02:00
MrOtherGuy
66774f4b88
Re-add extra padding / margin for identity-icon, see issue 81 for info
2020-10-21 19:30:54 +03:00
MrOtherGuy
16a4cd3d5b
remove now unnecessary vertical padding from identity-box
2020-10-21 15:58:16 +03:00
MrOtherGuy
5e823bafd5
make bookmarks toolbar only hidden - not collapsed when it is disabled
2020-10-04 21:36:14 +03:00
MrOtherGuy
232aa45a4c
Add width for toolbars for oneliner compatibility
2020-10-04 11:20:55 +03:00
MrOtherGuy
cd0d556418
Add support for tabs border color
2020-10-02 11:49:57 +03:00
MrOtherGuy
b38ec91016
create theme_aware_modal_prompts.css
2020-09-29 10:55:56 +03:00
MrOtherGuy
88b3ff1d6b
Create curved_tabs.css
2020-09-23 00:28:12 +03:00
MrOtherGuy
55c03cb1a2
Add property to modify the dropdown-item h-offset
2020-09-21 17:34:11 +03:00
MrOtherGuy
a4de347ad5
Create round_ui_items.css
2020-09-16 18:01:55 +03:00
MrOtherGuy
490a971b5f
Add a simple way for oneliners to set minimum width for focused urlbar
2020-09-14 11:51:03 +03:00
MrOtherGuy
96f42f61de
remove unnecessary urlbar size variables
2020-09-14 11:17:49 +03:00
MrOtherGuy
1cc9e2eb77
Remove old titlebar-placeholder rules
2020-09-14 11:17:17 +03:00
MrOtherGuy
f500bcf685
Support highlighting of separate parts of the selector
2020-09-13 22:01:57 +03:00
MrOtherGuy
043ae65c7c
Use better file description
2020-09-05 10:49:47 +03:00
MrOtherGuy
e02c5c9963
Remove useless namespace declaration
2020-09-05 10:48:59 +03:00
MrOtherGuy
6dcf0daba4
Add deprecation notice
2020-09-05 10:48:08 +03:00
MrOtherGuy
5a326ed03b
Add toolbars tag to multi-row bookmarks
2020-09-04 10:34:09 +03:00
MrOtherGuy
98649e1277
Make event listeners passive
2020-09-04 10:23:55 +03:00
MrOtherGuy
daea4cb084
Don't scroll category list with long code-block
2020-09-04 09:48:21 +03:00
MrOtherGuy
3f47e98a75
Clear the code-block when switching categories
2020-09-04 09:47:44 +03:00
MrOtherGuy
0705a8526d
Properly end some comments
2020-09-03 12:11:35 +03:00
MrOtherGuy
cdb714a01c
Quote attribute values
2020-09-03 12:09:32 +03:00
MrOtherGuy
d5cd29e279
Adjust some highlighter colors
2020-09-03 12:07:52 +03:00
MrOtherGuy
ecd9010083
Fixes to highlighter behavior
2020-09-03 12:06:45 +03:00
MrOtherGuy
83a9a5da77
Add simple syntax highlighting
2020-09-02 11:42:30 +03:00
MrOtherGuy
aca3302c6f
Add the style rules
2020-09-01 12:17:02 +03:00
MrOtherGuy
7d7d53c4c3
Create tab_line_loading_indicator.css
2020-09-01 12:14:40 +03:00
MrOtherGuy
a8b69a40a5
Fix missing transform property
2020-08-31 11:00:57 +03:00
MrOtherGuy
3a930dfc7f
Create less_static_throbber.css
2020-08-31 10:52:52 +03:00
MrOtherGuy
a4c81d331a
Move behavior-control comments to the top of the file
2020-08-29 06:07:07 +03:00
Neil561
608ac1a6c0
Allowing disable 'hover' or 'focus' behavior via properties ( #70 )
...
* Update autohide_bookmarks_toolbar.css
* Removing variables
* Adding comments
* Using meaningful variables and fixing comments
2020-08-29 05:55:01 +03:00
MrOtherGuy
9b87c5f668
Create urlbar_connection_type_colors.css
2020-08-23 14:59:33 +03:00
Oliver Smith
8ffc75757f
src/prefs.js: rename to src/mobile-config-prefs.js (MR 2)
...
Give the file the same name in the source dir, as it will have after
installing.
2020-08-21 10:50:21 +02:00
Arnaud Ferraris
ca344c8514
userChrome: instruct users to edit the file under /etc (MR 2)
...
The userChrome.css in the user's profile will be overwritten when the
package is upgraded.
Any change should therefore be made to the file located under /etc,
which should then be left untouched by most package managers.
2020-08-21 10:50:21 +02:00
Arnaud Ferraris
712b850c3b
install userChrome.css using autoconfig instead of schell scripts (MR 2)
...
Firefox can run an autoconfig Javascript on startup, which can be used to
install and update userChrome.css, both when creating a new profile and
using a pre-existing one.
This removes the need for a wrapper script and related complications
(changes to $PATH, different processing for new and pre-existing
profiles...)
Co-Authored-By: Oliver Smith <ollieparanoid@postmarketos.org>
2020-08-21 10:49:49 +02:00
Arnaud Ferraris
08e2288138
Makefile: allow to specify the firefox system directory (MR 1)
...
In some cases, such as the ESR package on Debian, Firefox can be
installed to a different directory.
This commit alters the Makefile so it's possible to specify the Firefox
directory from the command-line.
2020-08-20 13:23:27 +02:00
Oliver Smith
34e48f39a2
README.md: look at "References" in upstream issue
2020-08-17 11:01:36 +00:00
MrOtherGuy
23dfd1743d
set tabs-navbar shadow size to 0px wherever tabs won't be atop of navbar
2020-08-14 16:47:24 +03:00
Oliver Smith
e7dfd8643e
README.md: add missing \n
...
That's what you get when using the gitlab web editor :p
2020-08-11 00:32:39 +02:00
Oliver Smith
01e16c2db5
homepage: link to new mobile-config-firefox repo
2020-08-11 00:31:24 +02:00
Oliver Smith
da87934f4b
homepage: no android in add-ons links
2020-08-11 00:31:19 +02:00
Oliver Smith
56bd6a2e84
README.md: how to use remote debugger
2020-08-10 22:17:47 +00:00
Oliver Smith
2872ff2a98
README.md: update
2020-08-10 21:53:40 +00:00
Oliver Smith
f3daef8ea0
findbar.css: use [anonid="findbar-textbox"]
...
This works in FF 68 ESR too, the previous rule did not.
2020-08-10 21:29:07 +02:00
Oliver Smith
61977c2570
urlbar.css: add rules for FF 68 ESR
2020-08-10 21:29:07 +02:00
Oliver Smith
88befd38b9
policies.json: don't disable developer tools
...
The reason for disabling these was, to free up space in the menu. The
menu entry is hidden in userChrome.css now, so we can enable it again.
Having this enabled is required to use the Firefox remote debugger,
which is very useful for developing userChrome.css.
2020-08-10 21:29:07 +02:00
Oliver Smith
8624a27fd7
prefs.js: remove browser.uiCustomization.state
...
This is done via userChrome.css now, which is easier to maintain (not
all crammed into one JSON line).
2020-08-10 21:29:07 +02:00