diff --git a/components/atoms/static_atoms.txt b/components/atoms/static_atoms.txt
index 5a0cc47ed4f..2d0ef951067 100644
--- a/components/atoms/static_atoms.txt
+++ b/components/atoms/static_atoms.txt
@@ -1,4 +1,5 @@
 -moz-gtk-csd-titlebar-radius
+-moz-gtk-menu-radius
 DOMContentLoaded
 abort
 activate
diff --git a/components/style/servo/media_queries.rs b/components/style/servo/media_queries.rs
index 6ac0cf54505..62a0729a8e5 100644
--- a/components/style/servo/media_queries.rs
+++ b/components/style/servo/media_queries.rs
@@ -227,6 +227,12 @@ impl Device {
         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 {