decouple device from document modules

frontend/ui/widget/htmlboxwidget.lua

@@ -8,10 +8,10 @@ local Geom = require("ui/geometry")
 local GestureRange = require("ui/gesturerange")
 local InputContainer = require("ui/widget/container/inputcontainer")
 local Mupdf = require("ffi/mupdf")
-local Screen = require("device").screen
 local TimeVal = require("ui/timeval")
 local logger = require("logger")
 local util  = require("util")
+local Runtimectl = require("runtimectl")
 
 local HtmlBoxWidget = InputContainer:new{
     bb = nil,
@@ -89,7 +89,7 @@ function HtmlBoxWidget:_render()
     -- In pdfdocument.lua, color is activated only at the moment of
     -- rendering and then immediately disabled, for safety with kopt.
     -- We do the same here.
-    Mupdf.color = Screen:isColorEnabled()
+    Mupdf.color = Runtimectl.is_color_rendering_enabled
 
     local page = self.document:openPage(self.page_number)
     local dc = DrawContext.new()