Style tweaks

[emilk]

I've tweaked the visual style of egui a bit, making it more compact and less noisy.

• Button text is now same size as body text
• The rounder corners are now less rounded
• Collapsing headers no longer have a frame around them
• Combo-boxes looks better when opened
• Slightly more muted colors
• Remove extra line spacing after \n (i.e. between paragraphs)

Before:

After:

[parasyte]

I think this branch looks even more amazing with this scroll bar tweak. 😉

diff --git a/egui/src/containers/scroll_area.rs b/egui/src/containers/scroll_area.rs
index a54c402..ba41233 100644
--- a/egui/src/containers/scroll_area.rs
+++ b/egui/src/containers/scroll_area.rs
@@ -259,7 +259,6 @@ impl Prepared {
             let margin = animation_t * ui.spacing().item_spacing.x;
             let left = inner_rect.right() + margin;
             let right = outer_rect.right();
-            let corner_radius = (right - left) / 2.0;
             let top = inner_rect.top();
             let bottom = inner_rect.bottom();

@@ -312,7 +311,7 @@ impl Prepared {
                 pos2(left, from_content(state.offset.y)),
                 pos2(right, from_content(state.offset.y + inner_rect.height())),
             );
-            let min_handle_height = (2.0 * corner_radius).max(8.0);
+            let min_handle_height = max_scroll_bar_width;
             if handle_rect.size().y < min_handle_height {
                 handle_rect = Rect::from_center_size(
                     handle_rect.center(),
@@ -324,18 +323,16 @@ impl Prepared {

             ui.painter().add(epaint::Shape::Rect {
                 rect: outer_scroll_rect,
-                corner_radius,
+                corner_radius: visuals.corner_radius,
                 fill: ui.visuals().extreme_bg_color,
                 stroke: Default::default(),
-                // fill: visuals.bg_fill,
-                // stroke: visuals.bg_stroke,
             });

             ui.painter().add(epaint::Shape::Rect {
-                rect: handle_rect.expand(-2.0),
-                corner_radius,
+                rect: handle_rect,
+                corner_radius: visuals.corner_radius,
                 fill: visuals.bg_fill,
-                stroke: visuals.bg_stroke,
+                stroke: Default::default(),
             });
         }

@@ -358,5 +355,5 @@ impl Prepared {
 }

 fn max_scroll_bar_width_with_margin(ui: &Ui) -> f32 {
-    ui.spacing().item_spacing.x + 16.0
+    ui.spacing().item_spacing.x + 8.0
 }