Cosmetic improvements to public headers.

PiperOrigin-RevId: 521415262
Change-Id: Iee5d6baec78242f5a033c8b5cdd285af4a0895fa

include/mujoco/mjrender.h

@@ -15,7 +15,6 @@
 #ifndef MUJOCO_MJRENDER_H_
 #define MUJOCO_MJRENDER_H_
 
-#include <mujoco/mjmodel.h>
 
 #if defined(__cplusplus)
 extern "C" {
@@ -35,13 +34,13 @@ typedef enum mjtGridPos_ {        // grid position for overlay
 } mjtGridPos;
 
 
-typedef enum mjtFramebuffer_ {      // OpenGL framebuffer option
+typedef enum mjtFramebuffer_ {    // OpenGL framebuffer option
   mjFB_WINDOW         = 0,        // default/window buffer
   mjFB_OFFSCREEN                  // offscreen buffer
 } mjtFramebuffer;
 
 
-typedef enum mjtFontScale_ {        // font scale, used at context creation
+typedef enum mjtFontScale_ {      // font scale, used at context creation
   mjFONTSCALE_50      = 50,       // 50% scale, suitable for low-res rendering
   mjFONTSCALE_100     = 100,      // normal scale, suitable in the absence of DPI scaling
   mjFONTSCALE_150     = 150,      // 150% scale