Further changes required by Servo

components/atoms/static_atoms.txt

@@ -1,3 +1,7 @@
+-moz-gtk-csd-close-button-position
+-moz-gtk-csd-maximize-button-position
+-moz-gtk-csd-menu-radius
+-moz-gtk-csd-minimize-button-position
 -moz-gtk-csd-titlebar-radius
 -moz-gtk-menu-radius
 DOMContentLoaded

components/style/custom_properties.rs

@@ -71,6 +71,7 @@ static ENVIRONMENT_VARIABLES: [EnvironmentVariable; 4] = [
     make_variable!(atom!("safe-area-inset-right"), get_safearea_inset_right),
 ];
 
+#[cfg(feature = "gecko")]
 macro_rules! lnf_int {
     ($id:ident) => {
         unsafe {
@@ -81,6 +82,14 @@ macro_rules! lnf_int {
     };
 }
 
+#[cfg(feature = "servo")]
+macro_rules! lnf_int {
+    ($id:ident) => {
+        // TODO: implement this.
+        0
+    };
+}
+
 macro_rules! lnf_int_variable {
     ($atom:expr, $id:ident, $ctor:ident) => {{
         fn __eval(_: &Device) -> VariableValue {

components/style/servo/media_queries.rs

@@ -221,18 +221,6 @@ impl Device {
         }
     }
 
-    /// Returns the gtk titlebar radius in CSS pixels.
-    /// TODO: implement this method.
-    pub fn titlebar_radius(&self) -> f32 {
-        0.0
-    }
-
-    /// Returns the gtk menu radius in CSS pixels.
-    /// TODO: implement this method.
-    pub fn menu_radius(&self) -> f32 {
-        0.0
-    }
-
     /// Return whether the document is a chrome document.
     #[inline]
     pub fn is_chrome_document(&self) -> bool {