bfe162fce2
css: remove dejavu sans
9 years ago
d2c3e846c4
add some vertical space to diijt menu items
9 years ago
24a82359b2
feedtree: fix for long feed titles making counters invisible
9 years ago
ee575027fd
assorted CSS fixes related to Dojo upgrade
9 years ago
157944d424
set .loadingExpando height to a correct value
9 years ago
b7d63a58db
fix loading indicator position/size for tree leafs
9 years ago
6887a0f573
lib: Upgrade Dojo and Dijit from 1.8.3 to 1.12.1
...
The itemNode and expandoNode elements have changed from img to
span (https://bugs.dojotoolkit.org/ticket/16699 ), so we now put our
tree icons inside them rather than replacing them.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
9 years ago
e17079dcef
make disabled filter rules easier to discern
...
show if filter set match_any_rule on the overview
11 years ago
73dfda1da6
various minor style updates, add danger buttons
11 years ago
9044e2e062
installer: use dijit styles
11 years ago
e2e095233f
fix readonly/disabled textbox styles
11 years ago
0acc1ed76e
dijit style updates
11 years ago
b028da0a2d
display lack of filter plugin actions properly
11 years ago
1eec50143b
dijit dialog: adjust title padding
11 years ago
7d73cc4184
minor css fixes
11 years ago
6ae7bcd170
remove some unnecessary dropdownbutton margins
11 years ago
fb8a032a6b
minor textarea fixes
11 years ago
22dd34a302
add styles for several other dijit elements (4)
11 years ago
ba89a6541a
add styles for several other dijit elements (3)
11 years ago
4d15d60d2e
add styles for several other dijit elements (2)
11 years ago
e79e274fc8
add styles for several other dijit elements
11 years ago
8a1b2a1015
add custom styles for .dijitDropDownButton
11 years ago
bd07626826
tweak selected feed display a bit
11 years ago
4a1d122c87
edit feed: smaller buttons for icon upload; allow uploading larger favicons
11 years ago
50e04efdc8
expand filtertree display to make filters easier to distinguish
12 years ago
051a07b0ad
dijit checkbox: remove border
12 years ago
6e93e96d11
tweak checkbox appearance a bit to conform better to general claro style
12 years ago
a674c03314
remove some unused shadows
12 years ago
10c45b4f9e
minor fixes for toolbar wobbling
12 years ago
5470cfab6d
add some experimental font family updates for headlines and chrome elements
12 years ago
8b381f7f26
remove blue accent from tabs, move some other dijit overrides to dijit.css
12 years ago
03700cb639
increase border contrast a bit
12 years ago
2204dca90b
handle input type submit
12 years ago
196724d1b5
add dijit.css to default theme
12 years ago
Andrew Dolgov