Refining mesh on some parts of domain

Hi Fenics community,

I am trying to do a mesh refinement on a quarter of a box, I went through this example but I couldn’t do same for a simple 3D cube.

Simple Cube script:

domain = Box(dolfin.Point(0.0, 0.0, 0.0), dolfin.Point(1.0, 1.0, 1.0))
mesh = generate_mesh(domain,10)

quarter of cube scheme:

I am curious to understand how can I modify mesh sizes under black plate in the above scheme.

Thanks.