I couldn't see how to send a personal message, so it's posted here. There doesn't appear to be anything unusual and this hasn't changed since before doing the upgrade.
themes {
my_theme : theme {
colors {
header_bar_paper = 15
header_bar_pen = 0
}
font = delta_10
header_layout {
: header_text;
: dynamic_text "header_score";
}
lister_exits {
exit_list_capitalization = lower
experimental_enable_direction_arrows = false
is_show_blocked_exits = false
}
lister_inventory {
item_capitalization = original
list_type = list
}
lister_objects {
item_capitalization = original
list_type = single_line
}
screen {
paragraph_spacing_multiplier = 0.5
}
settings {
experimental_enable_crt = false
header_capitalization = original
layout = G D X O
}
}